Recomienda este artículo a tus amigos:
Foundations of Software Science and Computation Structures: First International Conference, Fossacs'98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings - Maurice Nivat
Foundations of Software Science and Computation Structures: First International Conference, Fossacs'98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings -
Maurice Nivat
The 19 papers presented in this volume were selected from a total of 44 submissions. Among the topics covered are: formal specification; automata theory; term rewriting and rewriting systems; process algebras; formal language theory; type theory; event structures; and iteration theory.
297 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 11 de marzo de 1998 |
| ISBN13 | 9783540643005 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 297 |
| Dimensiones | 156 × 234 × 16 mm · 435 g |
| Lengua | Alemán |
| Editor | Nivat, Maurice |
Mas por Maurice Nivat
Mostrar todoMere med samme udgiver
Ver todo de Maurice Nivat ( Ej. Paperback Book )