Buy Used and New Willem-PauldeRoever Books

Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science)

by Hans Langmaack, Jan Vytopil, Willem-Paul de Roever

ISBN 13: 9783540584681

Format: Paperback (808 pages)
Publisher: Springer
Published: 22 Feb 2009

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

Current Trends in Concurrency: Overviews and Tutorials: 224 (Lecture Notes in Computer Science)

by Grzegorz Rozenberg, Willem-Paul De Roever, Jacobus W. De Bakker

ISBN 13: 9783540164883

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

Save for later