search for books and compare prices
Bernhard Steffen has written 12 work(s)
Search for other authors with the same name
displaying 1 to 12 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783662452332 Cover for 9783662452301 Cover for 9783642347801 Cover for 9783642340253 Cover for 9783642340314 Cover for 9783540884781 Cover for 9783540489283 Cover for 9783540208037 Cover for 9783540666240 Cover for 9783540643562 Cover for 9783540643678 Cover for 9783540610427 Cover for 9780387610429
Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, 6th International Symposium Isola 2014 Imperial, Corfu, Greece October 8-11 2014 Proceedings
cover image for 9783662452332
By Bernhard Steffen (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783662452332 | Springer-Verlag New York Inc, October 7, 2014, cover price $107.00

Leveraging Applications of Formal Methods, Verification and Validation: Specialized Techniques and Applications, 6th International Symposium Isola 2014 Imperial, Corfu, Greece October 8-11 2014 Proceedings
cover image for 9783662452301
By Bernhard Steffen (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783662452301 | Springer-Verlag New York Inc, October 7, 2014, cover price $119.00

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Pape
cover image for 9783642347801
By Bernhard Steffen (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642347801 | Revised edition (Springer-Verlag New York Inc, October 12, 2012), cover price $89.99

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings
cover image for 9783642340253
By Bernhard Steffen (editor)
See complete details on each edition (2 editions listed)

Paperback:

9783642340253 | Springer-Verlag New York Inc, September 11, 2012, cover price $119.00
9783642340314 | Springer-Verlag New York Inc, September 11, 2012, cover price $83.00

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
cover image for 9783540884781
By Bernhard Steffen (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540884781 | Springer-Verlag New York Inc, November 1, 2008, cover price $219.00

Leveraging Applications of Formal Methods: First International Symposium, Isola 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
cover image for 9783540489283
By Tiziana Maragria and Bernhard Steffen (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540489283 | Springer Verlag, November 30, 2006, cover price $89.99

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings
cover image for 9783540208037
By Giorgio Levi (editor) and Bernhard Steffen (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540208037 | Springer-Verlag New York Inc, February 20, 2004, cover price $109.00

Correct System Design: Recent Insights and Advances
cover image for 9783540666240
By G Goos (editor), J. Hartmanis (editor), J. Van Leeuwen (editor), E. R. Olderog (editor) and Bernhard Steffen (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540666240 | Springer Verlag, June 1, 1999, cover price $119.00

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
cover image for 9783540643562
By Bernhard Steffen and TACAS 98 (other contributor)
See complete details on each edition (1 edition listed)

Paperback:

9783540643562 | Springer Verlag, June 1, 1998, cover price $129.00

Services and Visualization: Towards User-Friendly Design : Acos'98, Visual'98, Ain'97 Selected Papers
cover image for 9783540643678
(view table of contents)
By Tiziana Margaria (editor), Joachim Posegga (editor), Roland Ruckert (editor) and Bernhard Steffen (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540643678 | Springer Verlag, June 1, 1998, cover price $99.00

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, March 27-29, 1996 Proceedings
cover image for 9783540610427
(view table of contents)
By Tiziana Margaria, Bernhard Steffen (editor), Tacas 9 1996 (other contributor) and Margaria Tiziana (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540610427 | Springer Verlag, April 1, 1996, cover price $119.00

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996 : Proceedings
cover image for 9780387610429
By Tiziana Margaria, Bernhard Steffen and Tacas '9 1996 Passau, Germany)
See complete details on each edition (1 edition listed)

Paperback:

9780387610429 | Springer Verlag, April 1, 1996, cover price $68.00 | also contains Urbanism and Transport: Building Blocks for Architects and City and Transport Planners

displaying 1 to 12 | at end