Correct System Design: Recent Insights and Advances: 1710 (Lecture Notes in Computer Science)
by Bernhard Steffen,Ernst-R??diger Olderog
ISBN 13: 9783540666240
Format: Paperback (436 pages) Publisher: Springer Published: 22 Sep 1999
Save for later
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers: 1385 (Lecture Notes in Computer Science)
by Bernhard Steffen,Roland R¿¿ckert,Tiziana Margaria,Joachim Posegga
ISBN 13: 9783540643678
Format: Paperback (344 pages) Publisher: Springer Published: 13 Jun 2008
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... 1055 (Lecture Notes in Computer Science)
by Bernhard Steffen,Tiziana Margaria
ISBN 13: 9783540610427
Format: Paperback (456 pages) Publisher: Springer Published: 13 Jun 2008
Grundlagen der höheren Informatik: Induktives Vorgehen (eXamen.press)
by Bernhard Steffen,Oliver Rüthing,Malte Isberner
ISBN 13: 9783642401459
Format: Hardcover (208 pages) Publisher: Springer Published: 30 Oct 2013
Transactions on Foundations for Mastering Change I: 9960 (Lecture Notes in Computer Science)
by Bernhard Steffen
ISBN 13: 9783319465074
Format: Paperback (272 pages) Publisher: Springer Published: 30 Sep 2016
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, ... I: 9952 (Lecture Notes in Computer Science)
by Tiziana Margaria, Bernhard Steffen
ISBN 13: 9783319471655
Format: Paperback (1002 pages) Publisher: Springer Published: 06 Oct 2016
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA ... II: 9953 (Lecture Notes in Computer Science)
ISBN 13: 9783319471686
Format: Paperback (894 pages) Publisher: Springer Published: 06 Oct 2016
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science)
by Bernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria
ISBN 13: 9783319519623
Format: Paperback (544 pages) Publisher: Springer Published: 04 Feb 2017
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... 2937 (Lecture Notes in Computer Science)
by Bernhard Steffen,Giorgio Levi
ISBN 13: 9783540208037
Format: Paperback (342 pages) Publisher: Springer Published: 22 Feb 2009
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... II: 8803 (Lecture Notes in Computer Science)
by Tiziana Margaria,Bernhard Steffen
ISBN 13: 9783662452301
Format: Paperback (664 pages) Publisher: Springer Published: 07 Oct 2014
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... I: 8802 (Lecture Notes in Computer Science)
ISBN 13: 9783662452332
Format: Paperback (568 pages) Publisher: Springer Published: 07 Oct 2014
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
by Bernhard Steffen,Oliver Rüthing,Michael Huth
ISBN 13: 9783319683966
Format: Hardcover (258 pages) Publisher: Springer Published: 03 Apr 2018