Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) | EKB DL

EKB DL

Home BookMathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Keywords

ComputersComputer ScienceSoftware Development & EngineeringProgrammingMathematicsCombinatoricsInformation Technology

1985Book

Author(s)James Thatcher, Hartmut Ehrig, Maurice Nivat, Christiane Floyd

PublisherSpringer Berlin Heidelberg

ISBN9783540151982

LanguageEnglish

SpringerLink Book

Similar Books

Book

TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)

Book

TAPSOFT '93: Theory and Practice of Software Development 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings

Book

Trees in Algebra and Programming - CAAP '94 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Book

TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)

Book

CAAP '92 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings

Book

CAAP '88 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings

Book

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Volume 2: Colloquium on Software Engineering (CSE)

Book

CAAP '83 Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings

Book

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)

Book

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)