de Roever, Willem Paul books & textbook
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
de Roever, Willem-Paul Engelhardt, Kai
Cambridge University Press /2008-12-18 Paperback / 436 Pages
isbn-10: 0521103509 / isbn-13: 9780521103503
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science, 5382)
Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul
Springer /2008-12-01 Paperback / 323 Pages
isbn-10: 3540921877 / isbn-13: 9783540921875
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 (Lecture Notes in Computer Science, 354)
Bakker, Jacobus W. de Roever, Willem-Paul de Rozenberg, Grzegorz
Springer /1989-03-30 Paperback / 728 Pages
isbn-10: 354051080X / isbn-13: 9783540510802
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science) by Roever, Willem-Paul de, Boer, Frank de, Hanneman, Ulrich, Ho (2012) Paperback
Cambridge University Press / Paperback
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
Frank de Boer Jozef Hooman Willem-Paul de Roever
Cambridge University Press /2011-01-01 Hardcover
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709)
de Boer, Frank S. Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul
Springer /2007-12-18 Paperback / 308 Pages
isbn-10: 3540747915 / isbn-13: 9783540747918
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)
Roever, Willem-Paul de Langmaack, Hans Pnueli, Amir
Springer /1998-12-18 Paperback / 655 Pages
isbn-10: 3540654933 / isbn-13: 9783540654933
Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) (Lecture Notes in Computer Science, 863)
Langmaack, Hans Roever, Willem-Paul de Vytopil, Jan
Springer /1994T Paperback / 787 Pages
isbn-10: 3540584684 / isbn-13: 9783540584681
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science, 430)
Bakker, Jaco W. de Roever, Willem-Paul de Rozenberg, Grzegorz
Springer /1990-04-25 Paperback / 824 Pages
isbn-10: 3540525599 / isbn-13: 9783540525592
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science, 4111)
de Boer, Frank S. Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul
Springer /2006-08-10 Paperback / 437 Pages
isbn-10: 3540367497 / isbn-13: 9783540367499
