| | Books 1 - 10 of 29 | Previous | Next | 
|  | | Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 996, Proceedings. (Lecture Notes in Computer Science) (1st Edition)
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Paperback, 435 Pages, Published 1996 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Tools and Algorithms for the Construction and Analysis of Systems; 4thInternational Conference, TACAS'98...Lisbon, Portugal, March/April 1998
by Bernhard Steffen
Hardcover, 399 Pages, Published 1998 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science) (1st Edition)
by Bernhard Steffen (Editor)
Paperback, 457 Pages, Published 1998 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Verification, Model Checking, and Abstract Interpretation (1st Edition)
by Bernhard Steffen (Editor), Giorgio Levi (Editor)
Paperback, 325 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 3-5, 2008, ... in Computer and Information Science) (1st Edition)
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Hardcover, 869 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science) (1st Edition)
by Ernst-Rüdiger Olderog (Editor), Bernhard Steffen (Editor)
Paperback, 417 Pages, Published 1999 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Services and Visualization; Towards User-Friendly Design
by Tiziana, Bernhard Steffen, Roland Ruckert, Joac... Margaria
Hardcover, Published 1998 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Silk Screen
by Bernard Steffen
Paperback, Published 0000 by N.Y.: Pitman Pub. Co.
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Tools and Algorithms for the Construction and Analysis of Systems (Second International Workshop TACAS '96, Passau, Germany March 1996)
by Tiziana; Steffen, Bernhard Margaria
Hardcover, Published 1996 by Springer Verlag
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Silk Screen
by Steffen Bernard
Paperback, Published 1963 by Pitman Pub Corp
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 29 | Previous | Next |
|