1.
 |  | 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 |
2.
|  | 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 |
3.
|  | 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 |
