1964 –
Non abbiamo ancora una biografia di Dirk Beyer.
Pubblicato in Inglese · Tedesco
Per saperne di più: Open Library (si apre in una nuova scheda)
Tools and Algorithms for the Construction and Analysis of Systems
2018
Markovian Demand Inventory Models
2012
Formal Techniques for Distributed Systems
2013
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
2019
Verification, Model Checking, and Abstract Interpretation
2020
TOOLympics Challenge 2023
2024
Theoretische und Methodische Ansatze Zum Innovationsmarketing
Tests and Proofs
Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhunderts
2002
Fundamental Approaches to Software Engineering
Otium
