Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS View on Open Library

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

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

No reviews yet
First published: 2019 ISBN: 9783030175023

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Dirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Constructio...

Formal Techniques for Distributed Systems

Formal Techniques for Distributed System...

Markovian Demand Inventory Models

Markovian Demand Inventory Models

Theoretische und Methodische Ansatze Zum Innovationsmarketing

Theoretische und Methodische Ansatze Zum...

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engin...

TOOLympics Challenge 2023

TOOLympics Challenge 2023