Knygos pagal Bernhard Steffen
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Bernhard Steffen, Oliver Rüthing, Michael Huth
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Bernhard Steffen, Oliver Rüthing, Michael Huth
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
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
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
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
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją