Transactions on computational science XV ; special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems
edited by Marina L. Gavrilova, C.J. Kenneth Tan, Cong-Vinh Phan
Springer-Verlag, 2012
 eBooks
Tiziana Margaria, editor
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings, part II
[, Springer-Verlag], 2012
 eBooks
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings, part I
edited by Tiziana Margaria, Bernhard Steffen
Springer, 2012
 eBooks
Dimitra Giannakopoulou, editor
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Web services and formal methods : 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers
edited by Marco Carbone, Jean-Marc Petit
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>