
Conte aos seus amigos sobre este item:
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets - Lecture Notes in Computer Science 1989 edition
Dirk A. Taubner
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets - Lecture Notes in Computer Science 1989 edition
Dirk A. Taubner
Due to intrinsic limits, which are also investigated here, neither for transition systems and finite nets, nor for general nets does a finite consistent representation of all CCS and TCSP programs exist.
172 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 9 de agosto de 1989 |
ISBN13 | 9783540515258 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 172 |
Dimensões | 155 × 235 × 9 mm · 267 g |
Idioma | English |
Ver tudo de Dirk A. Taubner ( por exemplo Paperback Book )