Buy Used and New Bernhard Steffen Books

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science)

by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen

ISBN 13: 9783030175016

Format: Paperback (288 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science)

by Kim G. Larsen,Bernhard Steffen,Tiziana Margaria,W. Rance Cleaveland,Ed Brinksma

ISBN 13: 9783540606307

Format: Paperback (308 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... II: 7610 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen

ISBN 13: 9783642340314

Format: Paperback (380 pages)
Publisher: Springer
Published: 11 Sep 2012

Save for later

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)

by Reiner Hähnle,Jens Knoop,Tiziana Margaria,Dietmar Schreiner,Bernhard Steffen

ISBN 13: 9783642347801

Format: Paperback (276 pages)
Publisher: Springer
Published: 12 Oct 2012

Save for later

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

by Bernhard Steffen,Oliver Rüthing,Michael Huth

ISBN 13: 9783030098339

Format: Paperback (256 pages)
Publisher: Springer
Published: 17 Apr 2019

Save for later

Tools and Algorithms for the Construction and Analysis of Systems

by Bernhard Steffen,Fabrice Kordon,Marieke Huisman

ISBN 13: 9781013271205

Format: Paperback (280 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... (Lecture Notes in Computer Science, 12479)

by Tiziana Margaria,Bernhard Steffen

ISBN 13: 9783030837228

Format: Paperback (277 pages)
Publisher: Springer
Published: 05 Aug 2021

Save for later

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030)

by Ernst-Rüdiger Olderog,Bernhard Steffen,Wang Yi

ISBN 13: 9783030913830

Format: Paperback (227 pages)
Publisher: Springer
Published: 22 Nov 2021

Save for later

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... (Lecture Notes in Computer Science, 12477)

by Tiziana Margaria, Bernhard Steffen

ISBN 13: 9783030614690

Format: Paperback (559 pages)
Publisher: Springer
Published: 27 Oct 2020

Save for later

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... (Lecture Notes in Computer Science, 13036)

by Tiziana Margaria,Bernhard Steffen

ISBN 13: 9783030891589

Format: Paperback (516 pages)
Publisher: Springer
Published: 12 Oct 2021

Save for later