Recomienda este artículo a tus amigos:
Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK - Workshops in Computing Marta Z Kwiatkowska Edition. Ed. edition
Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK - Workshops in Computing
Marta Z Kwiatkowska
The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour.
346 pages, 1 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 23 de julio de 1990 |
| ISBN13 | 9783540196259 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 346 |
| Dimensiones | 170 × 240 × 19 mm · 566 g |
| Lengua | Alemán |
| Editor | Kwiatkowska, Marta Zofia |
| Editor | Shields, Michael W. |
| Editor | Thomas, Richard M. |