Books by Bernhard Steffen
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Bernhard Steffen, Oliver Rüthing, Michael Huth
-20% with code BOOKS
In stock at our supplier
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Bernhard Steffen, Oliver Rüthing, Michael Huth
-20% with code BOOKS
In stock at our supplier
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
-20% with code BOOKS
In stock at our supplier
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
-20% with code BOOKS
In stock at our supplier
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Tiziana Margaria, Bernhard Steffen
-20% with code BOOKS
In stock at our supplier
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Tiziana Margaria, Bernhard Steffen
-20% with code BOOKS
In stock at our supplier