Raamatud Marcello M. Bonsangue
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
-40% koodiga BOOKS
Meie tarnija laos
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
-40% koodiga BOOKS
Meie tarnija laos
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
-40% koodiga BOOKS
Meie tarnija laos