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 |
