Koszyk
towar
(pusty)
Kontakt
Konto
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
przeczytaj całość
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
ukryj opis
- Wydawnictwo: Cambridge University Press
- Kod:
- Rok wydania: 2015
- Język: Angielski
- Oprawa: Brožovaná / brožovaná
- Liczba stron: 382
- Szerokość opakowania: 22.8 cm
- Wysokość opakowania: 15.5 cm
- Głębokość opakowania: 2.2 cm
- Waga: 550 g
Recenzja