Buy Used and New Susanne Graf Books

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European ... 200: 1785 (Lecture Notes in Computer Science)

by Susanne Graf,Michael Schwartzbach

ISBN 13: 9783540672821

Format: Paperback (570 pages)
Publisher: Springer
Published: 15 Mar 2000

Save for later

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

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

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings: 2989 (Lecture Notes in Computer Science)

by Susanne Graf,Laurent Mounier

ISBN 13: 9783540213147

Format: Illustrated (324 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday: 11200 (Lecture Notes in Computer Science)

by Tiziana Margaria, Susanne Graf, Kim G. Larsen

ISBN 13: 9783030223472

Format: Paperback (448 pages)
Publisher: Springer
Published: 26 Jun 2019

Save for later