Descripción:
Hardback. New. 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.
Foto de archivo: la portada puede ser diferente
Building High Integrity Applications with Spark Tapa dura - 2015
de John W. McCormick; Peter C. Chapin
Detalles
- Título Building High Integrity Applications with Spark
- Autor John W. McCormick; Peter C. Chapin
- Encuadernación Tapa dura
- Páginas 382
- Volúmenes 1
- Idioma ENG
- Editorial Cambridge University Press
- Fecha de publicación 2015-08-31
- Features Bibliography, Index
- ISBN 9781107040731 / 1107040736
- Peso 1.42 libras (0.64 kg)
- Dimensiones 9.34 x 6.05 x 0.96 pulgadas (23.72 x 15.37 x 2.44 cm)
- Library of Congress subjects Fault-tolerant computing, SPARK (Computer program language)
- Número de catálogo de la Librería del Congreso de EEUU 2015014814
- Dewey Decimal Code 004.2
Más ejemplares
Building High Integrity Applications with SPARK
de John W. McCormick
- Nuevo
- Tapa dura
- Estado
- Nuevo
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9781107040731 / 1107040736
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 139.06EUR 11.89 enviando a USA
Mostrar detalles
Precio
EUR 139.06
EUR 11.89
enviando a USA
Foto de archivo: la portada puede ser diferente
Building High Integrity Applications With Spark
de Mccormick, John W./ Chapin, Peter C.
- Nuevo
- Tapa dura
- Estado
- Nuevo
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9781107040731 / 1107040736
- Cantidad disponible
- 2
- Librería
-
Exeter, Devon, United Kingdom
- Precio
-
EUR 152.65EUR 11.95 enviando a USA
Mostrar detalles
Descripción:
Cambridge Univ Pr, 2015. Hardcover. New. 382 pages. 9.50x6.50x1.00 inches.
Precio
EUR 152.65
EUR 11.95
enviando a USA
