Skip to content

Building High Integrity Applications with Spark
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
Back to Top

More Copies for Sale

Building High Integrity Applications with SPARK

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
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
SGD 12.47
SGD 14.91 shipping to USA

Show Details

Description:
Paperback. Very Good.
Item Price
SGD 12.47
SGD 14.91 shipping to USA
Building High Integrity Applications with SPARK

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 30.44
SGD 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
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 37.56
SGD 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

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 78.20
SGD 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
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
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
SGD 95.51
SGD 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

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 95.82
SGD 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
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 101.10
FREE 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