
Conte aos seus amigos sobre este 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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 24 de junho de 1992 |
ISBN13 | 9783540555643 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 731 |
Dimensões | 156 × 250 × 37 mm · 1,02 kg |
Idioma | German |
Editor | Bakker, J. W. De |
Editor | Huizing, C. |
Editor | Roever, W-.p.de |
Editor | Rozenberg, Grzegorz |