Recomienda este artículo a tus amigos:
Concur '95: 6th International Conference, Philadelphia, Pa, Usa, August 21-24, 1995 - Proceedings - Lecture Notes in Computer Science Scott a Smolka
Concur '95: 6th International Conference, Philadelphia, Pa, Usa, August 21-24, 1995 - Proceedings - Lecture Notes in Computer Science
Scott a Smolka
The aim of this proceedings volume is to communicate ongoing research in the field of concurrency theory. Papers include discussions on process algebras, model checking, mobile processes, process theory, true concurrency, probabilistic automata, real-time systems, and testing semantics.
564 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 9 de septiembre de 1995 |
| ISBN13 | 9783540602187 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 564 |
| Dimensiones | 216 × 279 × 29 mm · 784 g |
| Lengua | Alemán |
| Editor | Lee, Insup |
| Editor | Smolka, Scott |