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

  • Ionic Cookbook
    Hoc Phan / Indermohan Singh
    ...
    Recíbelo en 3 días

    69,39 €

  • Tkinter GUI Programming by Example
    David Love
    ...
    Recíbelo en 3 días

    75,75 €

  • C++ Data Structures and Algorithms
    Wisnu Anggoro
    ...
    Recíbelo en 3 días

    68,63 €

  • Expert C++ Programming
    Jeganathan Swaminathan / Maya Posch / Jacek Galowicz
    ...
    Consulta disponibilidad

    149,78 €

  • Solutions for Cyber-Physical Systems Ubiquity
    Cyber-physical systems play a crucial role in connecting aspects of online life to physical life. By studying emerging trends in these systems, programming techniques can be optimized and strengthened to create a higher level of effectiveness. Solutions for Cyber-Physical Systems Ubiquity is a critical reference source that discusses the issues and challenges facing the impleme...
    Recíbelo en 3 días

    295,67 €

  • Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery
    Masha Etkind / Uri Shafrir
    Text analysis tools aid in extracting meaning from digital content. As digital text becomes more and more complex, new techniques are needed to understand conceptual structure. Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery: Emerging Research and Opportunities provides an innovative perspective on the application of algorithmic tools to study unstructured d...
    Recíbelo en 3 días

    170,34 €

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 €