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
Reiner Haehnle, editor
Leveraging applications of formal methods, verification, and validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers
Springer, 2012
eBooks
Axel Pinz, editor
Pattern recognition : Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks
Horimoto, Katsuhisa, editor
Algebraic and numeric biology : 4th international conference, ANB 2010, Hagenberg, Austria, July 31–August 2, 2010 : revised selected papers
[Springer-Verlag, ], 2012
eBooks
Aoki, Toshiaki, editor
Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
Springer-Verlag, 2012
eBooks