Faites connaître cet article à vos amis:
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édias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 24 juin 1992 |
| ISBN13 | 9783540555643 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 731 |
| Dimensions | 156 × 250 × 37 mm · 1,02 kg |
| Langue et grammaire | Allemand |
| Éditeur | Bakker, J. W. De |
| Éditeur | Huizing, C. |
| Éditeur | Roever, W-.p.de |
| Éditeur | Rozenberg, Grzegorz |
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier