Building High Integrity Applications with SPARK (Hardcover)

Idioma: inglés

Editorial: Cambridge University Press, Cambridge, 2015

1107040736 / 9781107040731

Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 29 de junio de 2022

Ver los artículos de este vendedor
Tapa dura

Condición: Nuevo

EUR 186,16

Envío por EUR 43,15 
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Hardcover. Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

N° de ref. del artículo 9781107040731

Título
Building High Integrity Applications with SPARK (Hardcover)
Autor
Peter C. Chapin
Editorial
Cambridge University Press, Cambridge
Año de publicación
2015
Estado
new
Encuadernación
Hardcover
Idioma
inglés
ISBN 10
1107040736
ISBN 13
9781107040731

CitiRetail

Stevenage, Reino Unido

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 29 de junio de 2022

Tarifas de envío de Reino Unido a Estados Unidos de America

ArtículoDe 7 a 14 días hábilesDe 7 a 60 días hábiles
Primer artículoEUR 43,15EUR 43,15
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descripción de la tienda

Online business

Información empresarial del vendedor

ABC BOOKS LIMITED

10 John Street
London, Reino Unido WC1N 2EB