![Building High Integrity Applications with SPARK](https://d3525k1ryd2155.cloudfront.net/h/006/978/1588978006.0.m.jpg)
Building High Integrity Applications with SPARK
de John W. McCormick
- Nuevo
- Estado
- Nuevo
- ISBN 10
- 1107656842
- ISBN 13
- 9781107656840
- Librería
-
Uxbridge, Greater London, United Kingdom
895 copias disponibles en esta librería
(Puedes añadir más en el área de pago.)
Formas de pago aceptadas
Sobre este artículo
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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 SPA
Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- Ria Christie Collections
(GB)
- Inventario del vendedor #
- ria9781107656840_pod
- Título
- Building High Integrity Applications with SPARK
- Autor
- John W. McCormick
- Estado del libro
- Nuevo
- Cantidad disponible
- 895
- Encuadernación
- Tapa blanda
- ISBN 10
- 1107656842
- ISBN 13
- 9781107656840
- Editorial
- Cambridge University Press
- Primera fecha de publicación de esta edición
- 2015
Términos de venta
Ria Christie Collections
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
Sobre el vendedor
Ria Christie Collections
Miembro de Biblio desde 2014
Uxbridge, Greater London
Sobre Ria Christie Collections
Hello We are professional online booksellers. We sell mostly new books and textbooks and we do our best to provide a competitive price. We are based in Greater London, UK. We pride ourselves by providing a good customer service throughout, shipping the items quickly and replying to customer queries promptly. Ria Christie Collections