Building High Integrity Applications with SPARK
de John W. McCormick
- Nuevo
- Tapa blanda
- Estado
- Nuevo
- ISBN 10
- 1107656842
- ISBN 13
- 9781107656840
- Librería
-
Southport, Merseyside, United Kingdom
10 copias disponibles en esta librería
(Puedes añadir más en el área de pago.)
Formas de pago aceptadas
Sobre este artículo
Paperback / softback. 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.
Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- The Saint Bookstore
(GB)
- Inventario del vendedor #
- B9781107656840
- Título
- Building High Integrity Applications with SPARK
- Autor
- John W. McCormick
- Formato/Encuadernación
- Paperback / softback
- Estado del libro
- Nuevo
- Cantidad disponible
- 10
- 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
The Saint Bookstore
Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.
Sobre el vendedor
The Saint Bookstore
Miembro de Biblio desde 2018
Southport, Merseyside
Sobre The Saint Bookstore
The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.
Glosario
Algunos términos que podrían usarse en esta descripción incluyen:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...
