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)
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Hartmut Ehrig
Themen in »Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985«
Algebra Bisimulation Compiler Development Graph Simulation Software Trees automata complexity design logic optimization programming programming language
Stimmen zu »Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985«
Details
ISBN: 9783540393023
Verlag: Springer Berlin
Erscheinung: 13.07.2005