|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/331/9783319259413.jpg&wmax=80&hmax=80) | Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, Setta 2015, Nanjing, China, November 4-6, 2015, Pro 2015 Edition (Lecture Notes in Computer Science) | Li, Xuandong | Paperback | 3319259415 / 9783319259413 | 10/2015 | $52.24 |
| ![](thumb.php?src=products/354/9783540309468.jpg&wmax=80&hmax=80) | Formal Modeling and Analysis of Timed Systems: Third International Conference, Formats 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings 2005 Edition (Lecture Notes in Computer Science) | Pettersson, Paul | Paperback | 3540309462 / 9783540309468 | 12/2005 | $52.24 |
| ![](thumb.php?src=products/354/9783540418658.jpg&wmax=80&hmax=80) | Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Confere 2001 Edition (Lecture Notes in Computer Science,) | Margaria, Tiziana | Paperback | 3540418652 / 9783540418658 | 03/2001 | $104.49 |
|
|
|