| Search | About | Preferences | Interact | Help | |
| 150 million books. 1 search engine. | ||
W.P. De Roever (W.-P. De Roever / De Roever, W.P. / W. P. De Roever / Roever, W.-P. De / De Roever, W. P.)
› Search all books by 'W.P. De Roever'
Compositionality: The Significant Difference International Symposium, Compos '97, Bad Malente, Germany, September 1997 Revised LecturesISBN 3540654933 (3-540-65493-3)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Compositionality: The Significant Difference International Symposium, Compos '97, Bad Malente, Germany, September 1997 Revised Lectures'- Concurrency Verification: Introduction to Compositional and Noncompositional MethodsISBN 0521806089 (0-521-80608-9)
Hardcover, Cambridge Univ Pr
Find All Copies
› Find collectible copies of 'Concurrency Verification: Introduction to Compositional and Noncompositional Methods' - Data Refinement : Model-Oriented Proof Methods and Their ComparisonISBN 0521641705 (0-521-64170-5)
Hardcover, Cambridge University Press
Find All Copies
› Find collectible copies of 'Data Refinement : Model-Oriented Proof Methods and Their Comparison' - A Decade of Concurrency: Reflections and Perspectives Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993 Proceedingsby W.P. De Roever , De Bakker, Grzegorz RozenbergISBN 0387580433 (0-387-58043-3)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'A Decade of Concurrency: Reflections and Perspectives Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993 Proceedings' - A Decade of Concurrency: Reflections and Perspectives REX School/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 Proceedingsby W.P. De Roever , De Bakker, Grzegorz RozenbergISBN 3540580433 (3-540-58043-3)
Hardcover, Springer-Verlag
Find All Copies
› Find collectible copies of 'A Decade of Concurrency: Reflections and Perspectives REX School/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 Proceedings' - Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lubeck, Germany, September 19-23, 1994 Proceedingsby W.P. De Roever , De Bakker, Grzegorz RozenbergISBN 3540584684 (3-540-58468-4)
Softcover, Springer
Find All Copies
› Find collectible copies of 'Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lubeck, Germany, September 19-23, 1994 Proceedings' - Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly With the Working Group Provably Correct Sby W.P. De Roever , Hans Langmaack, Working Group Provably Correct Systems, Jan Vytopil, W.-P. De RoeverISBN 0387584684 (0-387-58468-4)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly With the Working Group Provably Correct S' - Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990by J.W. De Bakker, W.P. De Roever , G. RozenbergISBN 038753931X (0-387-53931-X)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990' - Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 Proceedingsby J.W. De Bakker, W.P. De Roever , G. RozenbergISBN 354053931X (3-540-53931-X)
Hardcover, Springer-Verlag
Find All Copies
› Find collectible copies of 'Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 Proceedings' - Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3,by J.W. De Bakker, W.P. De Roever , School, Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijker, Grzegorz Rozenberg, W.-P. De Roever, J. W. De BakkerISBN 038751080X (0-387-51080-X)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3,' - Real-Time: Theory in Practice Rex Workshop Mook, the Netherlands, June 1991 Proceedingsby J.W. De Bakker, W.P. De Roever , C. Huizing, G. RozenbergISBN 0387555641 (0-387-55564-1)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Real-Time: Theory in Practice Rex Workshop Mook, the Netherlands, June 1991 Proceedings' - Recursive Program Schemes: Semantics and Proof Theoryby J.W. De Bakker, W.P. De Roever , C. Huizing, G. RozenbergISBN 9061961270 (90-6196-127-0)
Hardcover, Mathematisch Centrum
Find All Copies
› Find collectible copies of 'Recursive Program Schemes: Semantics and Proof Theory' - Semantics: Foundations and Applications Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedingsby J.W. De Bakker, W.P. De Roever , G. RozenbergISBN 0387565965 (0-387-56596-5)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Semantics: Foundations and Applications Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings' - Semantics: Foundations and Applications REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 Proceedingsby J.W. De Bakker, W.P. De Roever , G. RozenbergISBN 3540565965 (3-540-56596-5)
Hardcover, Springer-Verlag
Find All Copies
› Find collectible copies of 'Semantics: Foundations and Applications REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 Proceedings' - Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness Proceedingsby J.W. De Bakker, W.P. De Roever , G. RozenbergISBN 0387525599 (0-387-52559-9)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies of 'Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness Proceedings' - Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness REX Workshop, Mook, the Netherlands, May 29-June 2, 1989 Proceedingsby J.W. De Bakker, W.P. De Roever , G. RozenbergISBN 3540525599 (3-540-52559-9)
Hardcover, Springer-Verlag
Find All Copies
› Find collectible copies of 'Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness REX Workshop, Mook, the Netherlands, May 29-June 2, 1989 Proceedings'
![[powered by Muze Inc.]](http://i.bookfinder.com/images/site/muze/powered_by_muze.gif){kind=small}