Foundation of Software Science and Computation Structures: Third International Conference, Fossacs 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings (Fo - J Tiuryn - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540672579 - March 15, 2000
In case cover and title do not match, the title is correct

Foundation of Software Science and Computation Structures: Third International Conference, Fossacs 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings (Fo

J Tiuryn

Price
NZD 111.50

Ordered from remote warehouse

Expected delivery Dec 11 - 24
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Foundation of Software Science and Computation Structures: Third International Conference, Fossacs 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings (Fo

These are the refereed proceedings of the Third International Conference on Foundations of Software Science and Computation Structures. Among the topics covered are rewriting, pi-calculus, lambda-calculus, formal languages, proof systems, type theory, mobile processes and automata theory.

408 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 15, 2000
ISBN13 9783540672579
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 408
Dimensions 155 × 233 × 21 mm   ·   566 g

See all of J Tiuryn ( e.g. Paperback Book )