Description:
Paperback. Very Good.
![Building High Integrity Applications with Spark](https://d3525k1ryd2155.cloudfront.net/f/840/656/9781107656840.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Building High Integrity Applications with Spark Paperback - 2015
by John W. McCormick; Peter C. Chapin
Details
- Title Building High Integrity Applications with Spark
- Author John W. McCormick; Peter C. Chapin
- Binding Paperback
- Edition Paperback
- Pages 382
- Volumes 1
- Language ENG
- Publisher Cambridge University Press
- Date 2015-08-31
- ISBN 9781107656840 / 1107656842
- Weight 1.19 lbs (0.54 kg)
- Dimensions 9.14 x 6.02 x 0.89 in (23.22 x 15.29 x 2.26 cm)
- Dewey Decimal Code 004.2
More Copies for Sale
![Building High Integrity Applications with SPARK](https://d3525k1ryd2155.cloudfront.net/h/255/247/1056247255.0.m.jpg)
Building High Integrity Applications with SPARK
by Mccormick, John W
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781107656840 / 1107656842
- Quantity Available
- 1
- Seller
-
GORING BY SEA, West Sussex, United Kingdom
- Item Price
-
SGD 12.47SGD 14.91 shipping to USA
Show Details
Item Price
SGD 12.47
SGD 14.91
shipping to USA
![Building High Integrity Applications with SPARK](https://d3525k1ryd2155.cloudfront.net/h/186/765/1593765186.0.m.jpg)
Building High Integrity Applications with SPARK
by John W. McCormick & Peter C. Chapin
- Used
- Paperback
- Condition
- Used
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781107656840 / 1107656842
- Quantity Available
- 1
- Seller
-
Bath, Somerset, United Kingdom
- Item Price
-
SGD 30.44SGD 15.57 shipping to USA
Show Details
Description:
Very good, 2016, Cambridge University Press, paperback. Corners edge bumped. (03/24).
Item Price
SGD 30.44
SGD 15.57
shipping to USA
![BUILDING HIGH INTEGRITY APPLICATIONS WITH SPARK](https://d3525k1ryd2155.cloudfront.net/f/840/656/9781107656840.IN.0.m.jpg)
Stock Photo: Cover May Be Different
BUILDING HIGH INTEGRITY APPLICATIONS WITH SPARK
by JOHN W. MCCORMICK , PETER C. CHAPIN
- Used
- Very Good
- Condition
- Used - Very Good
- ISBN 10 / ISBN 13
- 9781107656840 / 1107656842
- Quantity Available
- 1
- Seller
-
Indianapolis, Indiana, United States
- Item Price
-
SGD 37.56SGD 17.34 shipping to USA
Show Details
Description:
Very Good.
Item Price
SGD 37.56
SGD 17.34
shipping to USA
![Building High Integrity Applications with SPARK](https://d3525k1ryd2155.cloudfront.net/h/006/978/1588978006.0.m.jpg)
Building High Integrity Applications with SPARK
by John W. McCormick
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9781107656840 / 1107656842
- Quantity Available
- 895
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
SGD 78.20SGD 13.90 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPA
Item Price
SGD 78.20
SGD 13.90
shipping to USA
![Building High Integrity Applications With Spark](https://d3525k1ryd2155.cloudfront.net/f/840/656/9781107656840.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Building High Integrity Applications With Spark
by Mccormick, John W./ Chapin, Peter C.
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781107656840 / 1107656842
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
SGD 95.51SGD 17.39 shipping to USA
Show Details
Description:
Cambridge Univ Pr, 2015. Paperback. New. 1st edition. 379 pages. 9.00x6.25x0.75 inches.
Item Price
SGD 95.51
SGD 17.39
shipping to USA
![Building High Integrity Applications with SPARK](https://d3525k1ryd2155.cloudfront.net/h/056/995/1416995056.0.m.jpg)
Building High Integrity Applications with SPARK
by John W. McCormick
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781107656840 / 1107656842
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
SGD 95.82SGD 17.31 shipping to USA
Show Details
Description:
Paperback / softback. New. The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.
Item Price
SGD 95.82
SGD 17.31
shipping to USA
![Building High Integrity Applications with SPARK](https://d3525k1ryd2155.cloudfront.net/f/840/656/9781107656840.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Building High Integrity Applications with SPARK
by McCormick, John W.
- Used
- Good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781107656840 / 1107656842
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
SGD 101.10FREE shipping to USA
Show Details
Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
SGD 101.10
FREE shipping to USA