Name: Building High Integrity Applications with SPARK
Price: 62.95 CAD
Availability: click-8910566-13710633?url=https%3A%2F%2Fwww.chapters.indigo.ca%2Fen-ca%2Fbooks%2Fproduct%2F9781107656840-item.html
Author: John W. McCormick
ISBN: 9781316371381

Nonfiction | Computer & Technology

Building High Integrity Applications with SPARK

by John W. McCormick 2020-04-16 14:42:34

Building High Integrity Applications with SPARK

by John W. McCormick 2020-04-16 14:42: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

John W. McCormick

Author

...

Compare Prices

Store

Availability

Book Format

Book Condition

Price

Paperback

Buy CAD 62.95

In Stock

Paperback

new

Buy CAD 62.95

Buy GBP 29.50

In Stock

new

Buy GBP 29.50

Hard Cover

Buy CAD 130.95

In Stock

Hard Cover

new

Buy CAD 130.95

Available Discount

12 % OFF

12% off Academic Book Titles (ebooks.com)

Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF

Save 10% OFF on Student Text Books (ebooks.com)

Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF

20% Off on selected Categories

Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.