Buy Used and New Marcello M. Bonsangue Books

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures: 7866 (Lecture Notes in Computer Science)

by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue

ISBN 13: 9783642406140

Format: Paperback (252 pages)
Publisher: Springer
Published: 26 Aug 2013

Save for later

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures: 3188 (Lecture Notes in Computer Science)

by Frank S. de Boer,Susanne Graf,Marcello M. Bonsangue,Willem-Paul de Roever

ISBN 13: 9783540229421

Format: Paperback (384 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science)

by Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Bernhard Beckert

ISBN 13: 9783642358869

Format: Paperback (368 pages)
Publisher: Springer
Published: 03 Jan 2013

Save for later