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
$ 90,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de sep. - 5 de oct.
Recibe notificaciones sobre nuevos lanzamientos de McCormick, John W. (University of Northern Iowa)

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

Aún no valorado

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  

Más del mismo editor

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