|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings 2007 Edition (Lecture Notes in Computer Science) | Bosnacki, Dragan | Paperback | 3540733698 / 9783540733690 | 06/2007 | $52.24 |
| | Model Checking Software: 9th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings 2002 Edition (Lecture Notes in Computer Science) | Bosnacki, Dragan | Paperback | 3540434771 / 9783540434771 | 03/2002 | $52.24 |
|
|
|