Building High Integrity Applications with SPARK
John W. McCormick, Peter C. Chapin
₹8,414
Building High Integrity Applications with Spark
by John W. McCormick, Peter C. Chapin
Cambridge University Press · 2015
₹6,011
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Cambridge University Press in 2015, Building High Integrity Applications with Spark by John W. McCormick & Peter C. Chapin runs to 382 pages.
Topics covered include Programming languages (electronic computers), Fault-tolerant computing and SPARK (Computer program language).
Book details
- ISBN-13
- 9781107656840
- ISBN-10
- 1107656842
- Authors
- John W. McCormick, Peter C. Chapin
- Publisher
- Cambridge University Press
- Published
- 2015
- Pages
- 382
- Language
- English
- Condition
- New
- Subject
- Programming languages
More by John W. McCormick and related titles
Building Parallel, Embedded, and Real-Time Applications with Ada
John W. McCormick
₹5,181
Rules and Reasoning
Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
₹4,283
Computers and Languages
A. Nijholt
₹2,611
M Programming
Richard F. Walters
₹3,409
Visual Studio .Net Tips and Tricks
Minh T. Nguyen
₹1,214
Transitioning to Swift
Scott Gardner
₹2,128
Design and Implementation of Programming Languages
Williams, J. H.
₹3,165
Software Language Engineering
Anthony Sloane, Uwe Aßmann
₹5,574
Writing Perl Modules for CPAN
Sam Tregar
₹2,620
Programming Languages and Systems
Gilles Barthe
₹5,652
Programming Languages and Systems
Helmut Seidl
₹5,700