Articles liés à SPARK 2014 User's Guide: Release 19.0w

SPARK 2014 User's Guide: Release 19.0w - Couverture souple

Adacore; Altran Uk Ltd

 
9781680921793: SPARK 2014 User's Guide: Release 19.0w
Couverture souple
ISBN 10 : 1680921797 ISBN 13 : 9781680921793
Editeur : 12th Media Services, 2018

Synopsis

SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of high-assurance software development. SPARK 2014 is based on Ada 2012, both subsetting the language to remove features that defy verification, but also extending the system of contracts and aspects to support modular, formal verification.

This manual is available online for free at adacore.com. This manual is printed in grayscale.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
12th Media Services
Date d'édition
2018
Langue
anglais
ISBN 10 
1680921797
ISBN 13 
9781680921793
Reliure
Broché
Nombre de pages
326
Coordonnées du fabricant
non disponible
Personne responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Allemagne