Conte aos seus amigos sobre este item:
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School / Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988 - Lecture Notes in Computer Science Jacobus W De Bakker
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School / Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988 - Lecture Notes in Computer Science
Jacobus W De Bakker
718 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 30 de março de 1989 |
| ISBN13 | 9783540510802 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 718 |
| Dimensões | 156 × 234 × 36 mm · 1 kg |
| Idioma | Alemão |
| Editor | Bakker, J. W. De |
| Editor | De Roever, Willem-paul |
| Editor | Rozenberg, Grzegorz |