1.
 |  | Title: Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science 1710)
by Bernhard Steffen, G. Goos, J. Hartmanis, J. Van Leeuwen, B. Steffen, E. R. Olderog
ISBN: 3540666249
Publisher: Springer-Verlag
Pub. Date: 01 June, 1999
List Price: $82.95
Amazon.com Price: $82.95 |
2.
|  | 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
ISBN: 3540643672
Publisher: Springer-Verlag
Pub. Date: 01 June, 1998
List Price: $77.95
Amazon.com Price: $77.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
ISBN: 3540610421
Publisher: Springer-Verlag
Pub. Date: 01 April, 1996
List Price: $89.95
Amazon.com Price: $89.95 |
4.
|  | Title: Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon (Lecture Notes in Computer Science, 1384)
by Tacas '9, Bernhard Steffen, European Conferences on Theory and Practice of Software
ISBN: 3540643567
Publisher: Springer-Verlag
Pub. Date: 01 June, 1998
List Price: $93.00
Amazon.com Price: $93.00 |
5.
|  | Title: Verification, Model Checking, and Abstract Interpretation
by Bernhard Steffen, G. Levi, ita Acm Symposium on Principles of Programming Languages 2004 Venice, Giorgio Levi
ISBN: 3540208038
Publisher: Springer Verlag
Pub. Date: 20 February, 2004
List Price: $58.00
Amazon.com Price: $40.60 |
6.
|  | Title: Design als Produktsprache
by Dagmar Steffen, Bernhard E. Bürdek, Volker Fischer
ISBN: 3764368160
Publisher: Birkhäuser
Pub. Date: 01 January, 2000
|
7.
|  | 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) Tacas '9 1996 Passau, Tiziana Margaria, Bernhard Steffen
ISBN: 0387610421
Publisher: Springer Verlag
Pub. Date: 01 April, 1996
List Price: $68.00
Amazon.com Price: $68.00 |
