Name: SPARK 2014 Reference Manual
Price: 257.00 NOK
Availability: InStock
Author: Adacore
ISBN: 9781680921809

Du sparer 0% ift. ordinær pris Spar 0%

Paperback
2-4 uker
257,-

Om SPARK 2014 Reference Manual

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.

Vis mer

Språk:
Engelsk

ISBN:
9781680921809

Forlag:
12th Media Services

Bindende:
Paperback

Sider:
260

Utgitt:
14. februar 2018

Dimensjoner:
280x216x14 mm.

Vekt:
608 g.

BLACK NOVEMBER
257,- + Frakt
~~257,-~~

Leveringstid: 2-4 uker

Forventet levering: 15. desember 2024

Om Adacore

Se alle bøkene av Adacore

Beskrivelse av SPARK 2014 Reference Manual

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.

Brukervurderinger av SPARK 2014 Reference Manual

Andre har også kjøpt..

Finn lignende bøker

Boken SPARK 2014 Reference Manual finnes i følgende kategorier:

Bedrift og læring > Data og IT

SPARK 2014 Reference Manual

Om Adacore

Beskrivelse av SPARK 2014 Reference Manual

Brukervurderinger av SPARK 2014 Reference Manual

Gjør som tusenvis av andre bokelskere