Skip to content

Building High Integrity Applications with SPARK

Building High Integrity Applications with SPARK Paperback / softback - 2015

by John W. McCormick

  • New
  • Paperback

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.
New
NZ$116.01
NZ$20.95 Shipping to USA
Standard delivery: 14 to 21 days
More Shipping Options
Ships from The Saint Bookstore (Merseyside, United Kingdom)

Details

  • Title Building High Integrity Applications with SPARK
  • Author John W. McCormick
  • Binding Paperback / softback
  • Edition Paperback
  • Condition New
  • Pages 382
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press
  • Date 2015-08-31
  • Bookseller's Inventory # B9781107656840
  • 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

About The Saint Bookstore Merseyside, United Kingdom

Biblio member since 2018
Seller rating: This seller has earned a 5 of 5 Stars rating from Biblio customers.

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Terms of Sale: Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

Browse books from The Saint Bookstore