BooksPrice.com

book price comparison

Roever, Willem Paul De 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
   

compare price



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
   

compare price



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
   

compare price



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

Willem-Paul de Roever  

Cambridge University Press / Paperback

   

compare price



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

   

compare price



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
   

compare price



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
   

compare price



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
   

compare price



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
   

compare price



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
   

compare price