It looks like you're offline.

Last edited by ImportBot

July 30, 2014 | History

Edit

Frank S. de Boer

We need a photo of Frank S. de Boer

5 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

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

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever First published in 2004 — 7 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

by Frank S. de Boer First published in 2010 — 2 editions

Locate

My Reading Lists:

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

by Frank S. de Boer, Marcello Bonsangue, Susanne Graf, and Willem-Paul de Roever First published in 2003 — 2 editions

Locate

My Reading Lists:

Create a new list
Verification of Sequential and Concurrent Programs

by Krzysztof Apt, Frank S. de Boer, and Amir Pnueli First published in 2010 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Formal Methods for Components and Objects Lecture Notes in Computer Science

by Frank S. de Boer First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Frank S. de Boer

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7212397A

Links outside Open Library

No links yet. Add one?

History

Created July 30, 2014
1 revision

Download catalog record: RDF / JSON

Created by ImportBot

import new book