Knihu momentálně nemáme skladem
Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Autoři
Parametry
Nákup knihy
Model Checking Software, Bernd Fischer
- Jazyk
- Rok vydání
- 2015
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Model Checking Software
- Podtitul
- 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
- Jazyk
- anglicky
- Autoři
- Bernd Fischer
- Vydavatel
- Springer-Verlag GmbH
- Vydavatel
- 2015
- ISBN10
- 331923403X
- ISBN13
- 9783319234038