Model Checking Software
Stabilní cena
Cenu sledujeme od 20. 7. 2026 a zatím se drží na 1 322 Kč.
O produktu
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions.
Tip: Podívejte se také na další produkty z kategorie Počítačové programování, software.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9783319234038
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
