Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Автор:
Bernd Fischer, Jaco Geldenhuys
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.84
€
103.34 лв
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking...