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, Marieke Huisman, Fabrice Kordon, Bernhard Steffen · 2019

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2019
Publisher: Springer
Editions: 2
Pages: 285
ISBN: 9783030175016

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

Verification, Model Checking, and Abstract InterpretationDirk Beyer

Verification, Model Checking, and Abstract Interpretation

Dirk Beyer · 2020

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