| | Books 1 - 10 of 13 | Previous | Next | 
|  | | Model Checking Software (1st Edition)
by Susanne Graf (Editor), Laurent Mounier (Editor)
Paperback, 309 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: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science) (1st Edition)
by Susanne Graf (Editor), Michael Schwartzbach (Editor)
Paperback, 552 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November -4, 2005, Revised Lectures (Lecture Notes in Computer Science) (1st Edition)
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Paperback, 429 Pages, Published 2006 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Susanne Graf (Editor), Wenhui Zhang (Editor)
Paperback, 540 Pages, Published 2006 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Tools and Algorithms for the Construction and Analysis of Systmes, 6thInternational Conference
by Susanne, Michael Schwartzbach, Eds. Graf
Paperback, 136 Pages, Published 2000 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science) (1st Edition)
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Paperback, 373 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science) (1st Edition)
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Paperback, 325 Pages, Published 2005 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures (1st Edition)
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Paperback, 313 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Verdachts- und ereignisunabhängige Personenkontrollen
by Susanne Graf
Perfect Paperback, 414 Pages, Published 2006 by Duncker & Humblot GmbH
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-0,2006, Revised Lectures (Lecture Notes in Computer Science) (1st Edition)
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Paperback, 297 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 13 | Previous | Next |
|