
Fortell venner om denne varen:
Real-time - Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991. Proceedings - Lecture Notes in Computer Science
J W De Bakker
Pris
$ 107,99
Bestillingsvarer
Forventes levert 30. jul - 7. aug
Legg til iMusic ønskeliste
Eller
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 24. juni 1992 |
ISBN13 | 9783540555643 |
Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
Antall sider | 731 |
Mål | 156 × 250 × 37 mm · 1,02 kg |
Språk | Tysk |
Redaktør | Bakker, J. W. De |
Redaktør | Huizing, C. |
Redaktør | Roever, W-.p.de |
Redaktør | Rozenberg, Grzegorz |