Model Checking Software
Stabilní cena
Aktuální cena je nejnižší za posledních 30 dní.
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í?
