Košík
zboží
(prázdné)
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
číst celé
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
schovat popis
- Nakladatel: Cambridge University Press
- Kód:
- Rok vydání: 2015
- Jazyk: Angličtina
- Vazba: Taschenbuch
- Počet stran: 382
- Šířka balení: 22.8 cm
- Výška balení: 15.5 cm
- Hloubka balení: 2.2 cm
- Váha balení: 550 g
Recenze