1.
 |  | Title: Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001, Genova (Lecture Notes in Computer Science, 2031) by Tacas 200, Wang Yi, Tiziana Margaria ISBN: 3540418652 Publisher: Springer Verlag Pub. Date: April, 2001 List Price: $96.00 Amazon.com Price: $96.00 |
2.
 |  | Title: Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001, Livingston, Scotland, Uk, September 4-7, 2001, Proceedings (Lecture Notes in Computer Science, 2144) by Charme 200, Tiziana Margaria, T. F. Melham ISBN: 3540425411 Publisher: Telos Pr Pub. Date: October, 2001 List Price: $82.95 Amazon.com Price: $82.95 |
3.
 |  | Title: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27-29, 1996, Proceedings (Lecture Notes in Computer Science, 1055) by Tacas '9, Bernhard Steffen, Tiziana Margaria ISBN: 3540610421 Publisher: Springer Verlag Pub. Date: April, 1996 List Price: $89.95 Amazon.com Price: $89.95 |
4.
 |  | Title: Services and Visualization: Towards User-Friendly Design: Acos'98, Visual'98, Ain'97 Selected Papers (Lecture Notes in Computer Science, 1385) by Tiziana Margaria, Bernhard Steffen, Roland Ruckert, Joachim Posegga, Ermann Van Leeuwen, J. Hartmanis, G. Goos ISBN: 3540643672 Publisher: Springer Verlag Pub. Date: June, 1998 List Price: $77.95 Amazon.com Price: $77.95 |
5.
 |  | Title: Fundamental Approaches to Software Engineering by Fase 200, Michel Wermelinger, Tiziana Margaria-Steffen, Etaps 200, Springer ISBN: 3540213058 Publisher: Springer Verlag Pub. Date: 01 March, 2004 List Price: $78.00 Amazon.com Price: $78.00 |
6.
 |  | Title: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996: Proceedings (Lecture Notes in Computer Science, 1055) by Germany)/ Margaria, Tiziana/ Steffen, Bernhard Tacas '9 1996 Passau ISBN: 0387610421 Publisher: Springer Verlag Pub. Date: April, 1996 List Price: $68.00 Amazon.com Price: $68.00 |