Languages alive : essays dedicated to Jurgen Dassow on the occasion of his 65th birthday
edited by Henning Bordihn, Martin Kutrib and Bianca Truthe
Springer-Verlag, 2012
eBooks
Formal methods for components and objects : 9th international symposium, FMCO 2010 Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, (eds.)
Springer-Verlag, 2011
eBooks
Rohit Gheyi, editor
Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks
The correctness-by-construction approach to programming
edited by Derrick G. Kourie and Bruce W. Watson
Springer-Verlag, 2012
eBooks
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