|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, Fmics 2006, and 5th Intern 2007 Edition (Lecture Notes in Computer Science) | Brim, Lubos | Paperback | 3540709517 /
9783540709510 | 02/2007 | $52.24 |
|  | Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings 2018 Edition (Lecture Notes in Computer Science) | Colombo, Christian | Paperback | 3030037681 /
9783030037680 | 11/2018 | $80.74 |
|  | Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers 2008 Edition (Lecture Notes in Computer Science) | Leucker, Martin | Paperback | 354089246X /
9783540892465 | 10/2008 | $52.24 |
|  | Theoretical Aspects of Computing - Ictac 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings 2015 Edition (Lecture Notes in Computer Science) | Leucker, Martin | Paperback | 331925149X /
9783319251493 | 12/2015 | $52.24 |
|  | Theoretical Aspects of Computing--ICTAC 2009 2009 Edition (Lecture Notes in Computer Science) | Leucker, Martin | Paperback | 3642034659 /
9783642034657 | 07/2009 | $52.24 |
|
|
|