Raamatud Tiziana Margaria
Formal Methods for Industrial Critical Systems: A Survey of Applications
Stefania Gnesi, Tiziana Margaria
-40% koodiga BOOKS
Meie tarnija laos
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
-40% koodiga BOOKS
Meie tarnija laos
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
-40% koodiga BOOKS
Meie tarnija laos