Catalogo · 9783031676949
TOOLympics Challenge 2023
ISBN 9783031676949
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman
Markovian Demand Inventory Models
Dirk Beyer
Formal Techniques for Distributed Systems
Dirk Beyer, Michele Boreale
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Verification, Model Checking, and Abstract Interpretation
Dirk Beyer, Damien Zufferey
Theoretische und Methodische Ansatze Zum Innovationsmarketing
Dirk Beyer
Tests and Proofs
Dirk Beyer, Chantal Keller
Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhunderts
Dirk Beyer
Fundamental Approaches to Software Engineering
Dirk Beyer, Ana Cavalcanti
Verba volant · scripta manent