Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
edited by Elena Giachino, Reiner Hähnle, Frank S. Boer and Marcello M. Bonsangue
Springer, 2013
Buku Teks
Foundations of information and knowledge systems : 5th international symposium, FOIKS 2008, Pisa, Italy, February 11-15, 2008 : proceedings
edited by Sven Hartmann, Gabriele Kern-Isberner
Springer-Verlag, 2008
Buku Teks
Rules on the web : research and applications : 6th international symposium, RuleML 2012, Montpellier, France, August 27-29, 2012 : proceedings
Springer-Verlag, 2012
eBooks
Gordon Fraser, editor
Search based software engineering : 4th international symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks
Goodloe, Alwyn E., editor
NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings
[Springer-Verlag, ], 2012
eBooks