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

J Tiuryn
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

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 15 - 21

Our customers say:

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

Not rated yet

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
Language German  

Mere med samme udgiver

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