Tell your friends about this item:
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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | March 11, 1998 |
| ISBN13 | 9783540643005 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 297 |
| Dimensions | 156 × 234 × 16 mm · 435 g |
| Language | German |
| Editor | Nivat, Maurice |
More by Maurice Nivat
Show allMere med samme udgiver
See all of Maurice Nivat ( e.g. Paperback Book )