
Tell your friends about this item:
Real-time - Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991. Proceedings - Lecture Notes in Computer Science
J W De Bakker
Real-time - Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991. Proceedings - Lecture Notes in Computer Science
J W De Bakker
This volume contains the proceedings of a workshop dedicated to the theory of real-time and the established research areas in formal methods, such as process algebra, temporal logic, and model checking. It aims to show what is going on in the field worldwide.
731 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | June 24, 1992 |
ISBN13 | 9783540555643 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 731 |
Dimensions | 156 × 250 × 37 mm · 1.02 kg |
Language | German |
Editor | Bakker, J. W. De |
Editor | Huizing, C. |
Editor | Roever, W-.p.de |
Editor | Rozenberg, Grzegorz |