|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science: Festschrift) | Dams, Dennis | Paperback | 364211511X /
9783642115110 | 02/2010 | $52.24 |
|  | FM 2009: Formal Methods 2009 Edition (Lecture Notes in Computer Science) | Cavalcanti, Ana | Paperback | 3642050883 /
9783642050886 | 10/2009 | $104.49 |
|  | Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th International Spin Workshops, Trento, Italy, July 5, 1999, Toulouse, France, Sep 1999 Edition (Lecture Notes in Computer Science) | Dams, Dennis | Paperback | 3540664998 /
9783540664994 | 09/1999 | $52.24 |
|
|
|