Verification, Model Checking, and Abstract InterpretationDirk Beyer

Verification, Model Checking, and Abstract Interpretation

Dirk Beyer, Damien Zufferey · 2020

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: 2020
Publisher: Springer
Editions: 1
Pages: 485
ISBN: 9783030393212

Data source: Wikidata

More by Dirk Beyer

Formal Techniques for Distributed SystemsDirk Beyer

Formal Techniques for Distributed Systems

Dirk Beyer · 2013

Markovian Demand Inventory ModelsDirk Beyer

Markovian Demand Inventory Models

Dirk Beyer · 2008

TOOLympics Challenge 2023Dirk Beyer

TOOLympics Challenge 2023

Dirk Beyer · 2024

Fundamental Approaches to Software EngineeringDirk Beyer

Fundamental Approaches to Software Engineering

Dirk Beyer · 2024

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASDirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Dirk Beyer · 2019

Tests and ProofsDirk Beyer

Tests and Proofs

Dirk Beyer · 2019

Tools and Algorithms for the Construction and Analysis of SystemsDirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer · 2018

Theoretische und Methodische Ansatze Zum InnovationsmarketingDirk Beyer

Theoretische und Methodische Ansatze Zum Innovationsmarketing

Dirk Beyer · 2013