Buy Used and New Marcello Bonsangue Books

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures: 2852 (Lecture Notes in Computer Science)

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

ISBN 13: 9783540203032

Format: Paperback (520 pages)
Publisher: Springer
Published: 09 Oct 2003

Save for later

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday: 9660 (Lecture Notes in Computer Science)

by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

ISBN 13: 9783319307336

Format: Paperback (440 pages)
Publisher: Springer
Published: 13 Apr 2016

Save for later

It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab: 10865 (Lecture Notes in Computer Science)

by Frank de Boer,Marcello Bonsangue,Jan Rutten

ISBN 13: 9783319900889

Format: Paperback (260 pages)
Publisher: Springer
Published: 07 Apr 2018

Save for later