1.
 |  | Title: 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, G. Rosenberg, J.W. De Bakker, W.-P. De Roever, Grzegorz Rozenberg, School, Branching Time, and Partial Order in L Workshop on Linear Time
ISBN: 038751080X
Publisher: Springer Verlag
Pub. Date: July, 1989
List Price: $98.00
Amazon.com Price: $98.00 |
2.
|  | Title: Compositionality: The Significant Difference: International Symposium, Compos '97, Bad Malente, Germany, September 1997: Revised Lectures (Lecture Notes in Computer Science, 1536)
by Compos '9, W. P. De Roever, Hans Langmaack, A. Pnueli, W. P. De Roever
ISBN: 3540654933
Publisher: Springer Verlag
Pub. Date: December, 1998
List Price: $105.00
Amazon.com Price: $105.00 |
3.
|  | Title: Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 (Lecture Notes in Computer Scie)
by J.W. De Bakker, W.P. De Roever, G. Rozenberg, J. W. De Bakker
ISBN: 038753931X
Publisher: Springer Verlag
Pub. Date: May, 1991
List Price: $59.95
Amazon.com Price: $59.95 |
4.
|  | Title: Real-Time: Theory in Practice: Rex Workshop Mook, the Netherlands, June 1991 Proceedings (Lecture Notes in Computer Science, Vol 600)
by J.W. De Bakker, C. Huizing, W.P. De Roever, G. Rozenberg, J. W. De Bakker
ISBN: 0387555641
Publisher: Springer Verlag
Pub. Date: August, 1992
List Price: $114.00
Amazon.com Price: $114.00 |
5.
|  | Title: Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863)
by W. P. De Roever, H. Langmaack, Jan Vytopil, Hans Langmaack
ISBN: 3540584684
Publisher: Springer Verlag
Pub. Date: 1994
List Price: $117.00
Amazon.com Price: $117.00 |
6.
|  | Title: Semantics: Foundations and Applications: Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings (Lecture Notes in Computer Science, V)
by J.W. De Bakker, W.-P. De Roever, G. Rozenberg, J. W. De Bakker
ISBN: 0387565965
Publisher: Springer Verlag
Pub. Date: June, 1993
List Price: $101.00
Amazon.com Price: $101.00 |
7.
|  | Title: A Decade of Concurrency: Reflections and Perspectives: Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993: Proceedings (Lecture)
by De Bakker, J.W., W.-P. De Roever, G. Rozenberg, J. W. De Bakker
ISBN: 0387580433
Publisher: Springer Verlag
Pub. Date: August, 1994
List Price: $109.00
Amazon.com Price: $109.00 |
8.
|  | Title: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: Proceedings (Lecture Notes in Computer Science, 430)
by J.W. De Bakker, W.P. De Roever, G. Rozenberg, J. W. De Bakker
ISBN: 0387525599
Publisher: Springer Verlag
Pub. Date: June, 1990
List Price: $118.00
Amazon.com Price: $118.00 |
9.
|  | Title: Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly With the Working Group Provably Correct S
by Hans Langmaack, W.P. De Roever, J. Vytopil, W.-P. De Roever, Working Group Provably Correct Systems
ISBN: 0387584684
Publisher: Springer Verlag
Pub. Date: September, 1994
List Price: $108.95
Amazon.com Price: $108.95 |
10.
|  | Title: Recursive program schemes : semantics and proof theory
by W.-P. de Roever
ISBN: 9061961270
Publisher: Mathematisch Centrum
Pub. Date: 1976
|
