Building High Integrity Applications with SPARK - McCormick, John W. (University of Northern Iowa) - Libros - Cambridge University Press - 9781107656840 - 31 de agosto de 2015
En caso de que portada y título no coincidan, el título será el correcto

McCormick, John W. (University of Northern Iowa)
Building High Integrity Applications with SPARK

Precio
$ 87,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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.

379 pages, 13 b/w illus. 14 tables 119 exercises

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 31 de agosto de 2015
ISBN13 9781107656840
Editores Cambridge University Press
Páginas 382
Dimensiones 228 × 155 × 22 mm   ·   550 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de McCormick, John W. (University of Northern Iowa) ( Ej. Hardcover Book y Paperback Book )