Building-High-Integrity-Applications-with-SPARK | John W. McCormick | AmpleReads Books

Nonfiction | Computer & Technology

Building High Integrity Applications with SPARK

by John W. McCormick 2020-04-16 18:12:34

Building High Integrity Applications with SPARK

by John W. McCormick 2020-04-16 18:12:34

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

Store

Availability

Book Format

Book Condition

Price

Paperback

In Stock

Paperback

new

Buy CAD 62.95

In Stock

new

Buy GBP 29.50

Hard Cover

In Stock

Hard Cover

new

Buy CAD 130.95

Available Discount

No Discount available

Related Books

Moodle Gradebook:

Abstract Methods in Information Theory:

Microsoft SharePoint 2013 Step by Step:

The Digital Filmmaking Handbook:

MCSA SQL 2016 BI Development Exam Ref 2-pack:

Topics at the Frontier of Statistics and Network Analysis:

Practical Monitoring:

Type Theory and Formal Proof:

Make:

Windows 10 Bible:

Windows Server 2012 R2 Pocket Consultant Volume 2:

CompTIA Network+ Study Guide:

Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments:

Drones For Dummies:

Rapid Prototyping Software for Avionics Systems:

CISM Certified Information Security Manager All-in-One Exam Guide:

The Seismic Analysis Code:

(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide:

Expanding and Networking Microcomputers:

Network Programmability and Automation:

Python Programming for Arduino:

Complex Analysis with MATHEMATICA®:

Privacy and Legal Issues in Cloud Computing:

Troubleshooting Cisco Nexus Switches and NX-OS:

LPIC-1: