TOOLympics Challenge 2023Dirk Beyer

TOOLympics Challenge 2023

Dirk Beyer, Arnd Hartmanns, Fabrice Kordon · 2024

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: 2024
Language: English
Publisher: Springer
Editions: 1
Pages: 250
ISBN: 9783031676949

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

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

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