Kniha momentálne nie je na sklade
Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Autori
Parametre
Nákup knihy
Model Checking Software, Bernd Fischer
- Jazyk
- Rok vydania
- 2015
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Model Checking Software
- Podtitul
- 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
- Jazyk
- anglicky
- Autori
- Bernd Fischer
- Vydavateľ
- Springer-Verlag GmbH
- Vydavateľ
- 2015
- ISBN10
- 331923403X
- ISBN13
- 9783319234038