|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Formal Methods for Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings 2009 Edition (Lecture Notes in Computer Science / Programming and Software) | Alpuente, Marķa | Paperback | 3642045693 /
9783642045691 | 10/2009 | $52.24 |
|  | Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Pa (Lecture Notes in Computer Science) | Alpuente, Marķa | Paperback | 364220550X /
9783642205507 | 05/2011 | $52.24 |
|  | Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Alpuente, Marķa | Paperback | 3540691634 /
9783540691631 | 07/2008 | $52.24 |
|
|
|