Košík
tovar
(prázdne)
Kontakt
Účet
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
prečítať celé
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
Skryť popis
- Nakladateľ: Cambridge University Press
- Kód:
- Rok vydania: 2015
- Jazyk: Angličtina
- Väzba: Paperback
- Počet strán: 382
- Šírka balenia: 22.8 cm
- Výška balenia: 15.5 cm
- Hĺbka balenia: 2.2 cm
- Váha balenia: 550 g
Recenzie