Bernhard Steffen
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
39
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Leveraging Applications of Formal Methods, Verification and Validation : Applications
Mathematical Foundations of Advanced Informatics : Volume 1
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten
Karten Von Mykenai
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Grundlagen der Höheren Informatik
Leveraging Applications of Formal Methods
Leveraging Applications of Formal Methods, Verification and Validation
Finite constants
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
