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)
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Hartmut Ehrig
Themen in »TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987«
algorithms complexity concurrency development logic programming proof theory semantics software
Stimmen zu »TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987«
Details
ISBN: 9783540477464
Verlag: Springer Berlin
Erscheinung: 14.07.2005