Buy Used and New Willem-PauldeRoever Books

Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)

by Willem-Paul de Roever, Kai Engelhardt

ISBN 13: 9780521641708

Format: Hardcover (436 pages)
Publisher: Cambridge University Press
Published: 03 Dec 1998

Save for later

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures ... / Programming and Software Engineering)

by

ISBN 13: 9783540747918

Format: Paperback (297 pages)
Publisher: Springer
Published: 18 Dec 2007

Save for later

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ... / Programming and Software Engineering)

by

ISBN 13: 9783540921875

Format: Paperback (313 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later

Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)

by Willem-Paul de Roever, Kai Engelhardt

ISBN 13: 9780521103503

Format: Paperback (436 pages)
Publisher: Cambridge University Press
Published: 18 Dec 2008
Other Format: Hardcover

Save for later

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

ISBN 13: 9780521806084

Format: Hardcover (800 pages)
Publisher: Cambridge University Press
Published: 26 Nov 2001

Save for later

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

ISBN 13: 9780521169325

Format: Paperback (800 pages)
Publisher: Cambridge University Press
Published: 27 Oct 2011

Save for later