|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/354/9783540799795.jpg&wmax=80&hmax=80) | Algebraic Methodology and Software Technology: 12th International Conference, Amast 2008 Urbana, Il, Usa, July 28-31, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Meseguer, José | Paperback | 3540799796 / 9783540799795 | 07/2008 | $52.24 |
| ![](thumb.php?src=products/354/9783540496991.jpg&wmax=80&hmax=80) | Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and RV 2006, Seattle, Wa, Usa, Augus 2006 Edition (Lecture Notes in Computer Science) | Havelund, Klaus | Paperback | 3540496998 / 9783540496991 | 12/2006 | $52.24 |
| ![](thumb.php?src=products/364/9783642307928.jpg&wmax=80&hmax=80) | Formal Techniques for Distributed Systems: Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference, 2012 Edition | Giese, Holger | Paperback | 3642307922 / 9783642307928 | 05/2012 | $52.24 |
| ![](thumb.php?src=products/128/9781287275893.jpg&wmax=80&hmax=80) | Institution Morphisms | Goguen, Joseph | Paperback | 1287275893 / 9781287275893 | 08/2013 | $14.96 |
|
|
|