Model Checking Software
13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
Автор:
Antti Valmari
Наличност:
Външен склад в ограничено количество
Изпращаме след 13-18 дни
59.22
€
115.83 лв
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec...
