|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Application and Theory of Petri Nets and Concurrency: 36th International Conference, Petri Nets 2015, Brussels, Belgium, June 21-26, 2015, Proceedings 2015 Edition (Lecture Notes in Computer Science) | Devillers, Raymond | Paperback | 3319194879 /
9783319194875 | 05/2015 | $52.24 |
|  | Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings 2006 Edition (Lecture Notes in Computer Science) | Valmari, Antti | Paperback | 3540331026 /
9783540331025 | 03/2006 | $52.24 |
|
|
|