| | Books 1 - 10 of 27 | Previous | Next | 

 |  |  | Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers (Lecture Notes in Computer Science) (1st Edition) by Tiziana Margaria (Editor), Bernhard Steffen (Editor), Roland Rückert (Editor), Joachim Posegga (Editor) Paperback, 323 Pages, Published 1998 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert | 

 |  |  | Silk Screen (Pitman Art Books) by Steffan, Bernard Steffen Paperback, Published 1983 by Putnam Publishing Group
Compare Prices | Add to Wish List | Set Price Alert | 

 |  |  | Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (1st Edition) by Tiziana Maragria (Editor), Bernhard Steffen (Editor) Paperback, 197 Pages, Published 2006 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 | 

 |  |  | 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 | 

 |  |  | 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 | 

 |  |  | 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 Steffen Bernard Paperback, Published 1963 by Pitman Pub Corp
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, Published 1998 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert | 

 | | Books 1 - 10 of 27 | Previous | Next |
|