SPARK 2014 Reference Manual

SPARK 2014 Reference Manual

SPARK 2014 Reference Manual

AdaCore / Altran UK Ltd

19,91 €
IVA incluido
Recíbelo en 3 días
Editorial:
12th Media Services
Año de edición:
2018
ISBN:
9781680921809
Páginas:
64
Encuadernación:
Rústica
19,91 €
IVA incluido
Recíbelo en 3 días

Selecciona una librería:

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. 3

Artículos relacionados

Otros libros del autor

  • SPARK 2014 User’s Guide
    AdaCore / Altran UK Ltd
    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 ...
    Recíbelo en 3 días

    22,74 €