Bernhard Steffen
7 cărți
Cărți
7
Transactions on Foundations for Mastering Change I
de la 284.73 Lei
Verification, Model Checking, and Abstract Interpretation
de la 284.42 Lei
Leveraging Applications of Formal Methods, Verification, and Validation
de la 631.17 Lei
Mathematical Foundations of Advanced Informatics
Volume 1: Inductive Approaches
de la 247.00 Lei
Tools and Algorithms for the Construction and Analysis of Systems
de la 392.00 Lei
Karten Von Mykenai
de la 146.00 Lei
Karten Von Mykenai
de la 263.00 Lei
