adicionar à lista de desejos
Building High Integrity Applications With Spark
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, August of 2015 ‧
see product details
OUT OF STOCK OR NOT AVAILABLE
Sell your book
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781107040731 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | August of 2015 |
| Language: | English |
| Dimensions: | 152 x 228 x 20 mm |
| Cover: | Hardcover |
| Pages: | 382 |
| Format: | Book |
| Categories: |
Books in English
>
Computing
>
Other Applications
Books in English > Others |
| EAN: | 9781107040731 |
-
10%Building High Integrity Applications With SparkCAMBRIDGE UNIVERSITY PRESS73,00€ 10% CARDfree shipping
-
10%Building Parallel, Embedded, And Real-Time Applications With AdaCAMBRIDGE UNIVERSITY PRESS147,35€ 10% CARDfree shipping
-
10%Building High Integrity Applications With SparkCAMBRIDGE UNIVERSITY PRESS73,00€ 10% CARDfree shipping