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 - Lecture Notes in Computer Science 1378 (Paperback)Maurice Nivat (editor)
- We can order this
The 19 revised full papers presented in the book were carefully 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.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 297
Weight: 960 g
Dimensions: 235 x 155 x 16 mm
Edition: 1998 ed.
You may also be interested in...
Please sign in to write a review