booktheque

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman · 2018

Where to buy

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

View on Amazon

Book details

Year
2018
Publisher
Springer
Editions
5
Pages
449
ISBN
9783319899596

Data source: Wikidata

More by Dirk Beyer

Formal Techniques for Distributed Systems
Dirk Beyer · 2013
Markovian Demand Inventory Models
Dirk Beyer · 2008
TOOLympics Challenge 2023
Dirk Beyer · 2024
Fundamental Approaches to Software Engineering
Dirk Beyer · 2024
Verification, Model Checking, and Abstract Interpretation
Dirk Beyer · 2020
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Dirk Beyer · 2019
Tests and Proofs
Dirk Beyer · 2019
Theoretische und Methodische Ansatze Zum Innovationsmarketing
Dirk Beyer · 2013