Recomienda este artículo a tus amigos:
Building High Integrity Applications with SPARK McCormick, John W. (University of Northern Iowa)
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de McCormick, John W. (University of Northern Iowa)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Building High Integrity Applications with SPARK
McCormick, John W. (University of Northern Iowa)
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.
382 pages, 13 b/w illus. 14 tables 119 exercises
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 31 de agosto de 2015 |
| ISBN13 | 9781107040731 |
| Editores | Cambridge University Press |
| Páginas | 382 |
| Dimensiones | 237 × 162 × 25 mm · 701 g (Peso (estimado)) |
| Lengua | Inglés |
