Nonfiction | Computer & Technology
Building High Integrity Applications with SPARK
by John W. McCormick 2020-04-16 14:42:34
image1
COMPARE PRICE
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications. Less
  • File size
  • Print pages
  • Publisher
  • Publication date
  • Language
  • ISBN
  • 9.29 X 6.14 X 0.94 in
  • 382
  • Cambridge University Press
  • August 31, 2015
  • eng
  • 9781316371381
autor-image
John W. McCormick
Author
...
Compare Prices
image
Paperback
Buy CAD 62.95
image
Buy GBP 29.50
image
Hard Cover
Buy CAD 130.95
Available Discount
No Discount available
Related Books
view all
image1
Moodle Gradebook:
image1
Troubleshooting Cisco Nexus Switches and NX-OS:
image1
CompTIA Network+ Study Guide:
image1
MCSA SQL 2016 BI Development Exam Ref 2-pack:
image1
Rapid Prototyping Software for Avionics Systems:
image1
Python Programming for Arduino:
image1
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide:
image1
Network Programmability and Automation:
image1
Microsoft SharePoint 2013 Step by Step:
image1
Practical Monitoring:
image1
The Seismic Analysis Code:
image1
Drones For Dummies:
image1
Windows Server 2012 R2 Pocket Consultant Volume 2:
image1
Expanding and Networking Microcomputers:
image1
Windows 10 Bible:
image1
Type Theory and Formal Proof:
image1
Abstract Methods in Information Theory:
image1
Make:
image1
Topics at the Frontier of Statistics and Network Analysis:
image1
Privacy and Legal Issues in Cloud Computing:
image1
CISM Certified Information Security Manager All-in-One Exam Guide:
image1
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments:
image1
The Digital Filmmaking Handbook:
image1
Complex Analysis with MATHEMATICA®:
image1
LPIC-1:

Stay in touch.

© 2025 AMPLE READS