Buy Used and New Marcello M . Bonsangue Books

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, ... 8446 (Lecture Notes in Computer Science)

by Marcello M. Bonsangue

ISBN 13: 9783662441237

Format: Paperback (256 pages)
Publisher: Springer
Published: 01 Sep 2014

Save for later

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures: 3657 (Lecture Notes in Computer Science)

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

ISBN 13: 9783540291312

Format: Paperback (338 pages)
Publisher: Springer
Published: 19 Sep 2005

Save for later

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures: 4111 (Lecture Notes in Computer Science)

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

ISBN 13: 9783540367499

Format: Paperback (444 pages)
Publisher: Springer
Published: 27 Jun 2008

Save for later