Verification, Model Checking, and Abstract InterpretationBernhard Steffen

Verification, Model Checking, and Abstract Interpretation

Bernhard Steffen, Giorgio Levi · 2003

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2003
Language: English
Publisher: Springer London, Limited
Editions: 1
ISBN: 9783540246220

Data source: Wikidata

More by Bernhard Steffen

Correct system designBernhard Steffen

Correct system design

Bernhard Steffen · 1999

Tools and Algorithms for the Construction and Analysis of SystemsBernhard Steffen

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen · 1998

Bridging the Gap Between AI and RealityBernhard Steffen

Bridging the Gap Between AI and Reality

Bernhard Steffen · 2024

Computing and Software ScienceBernhard Steffen

Computing and Software Science

Bernhard Steffen · 2019

Mathematical Foundations of Advanced Informatics : Volume 1Bernhard Steffen

Mathematical Foundations of Advanced Informatics : Volume 1

Bernhard Steffen · 2018

SOFSEM 2017 : Theory and Practice of Computer ScienceBernhard Steffen

SOFSEM 2017 : Theory and Practice of Computer Science

Bernhard Steffen · 2017

Transactions on Foundations for Mastering Change IBernhard Steffen

Transactions on Foundations for Mastering Change I

Bernhard Steffen · 2016

Grundlagen Der Hheren Informatik Induktives VorgehenBernhard Steffen

Grundlagen Der Hheren Informatik Induktives Vorgehen

Bernhard Steffen · 1900

Karten Von MykenaiBernhard Steffen

Karten Von Mykenai

Bernhard Steffen · 2018

Grundlagen der Höheren InformatikBernhard Steffen

Grundlagen der Höheren Informatik

Bernhard Steffen · 2013