TY  - BOOK
AU  - Ehrig,Hartmut
ED  - Colloquium on Trees in Algebra and Programming
TI  - Mathematical foundations of software development
T2  - Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
SN  - 9783540393023
AV  - QA76.76.D47 I57 1985 vol. 1
U1  - 001.64/2 s 19
PY  - 1985///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - International Joint Conference on Theory and Practice of Software Development
KW  - (1985
KW  - Berlin, Germany)
KW  - Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Mar. 25-29, 1985
KW  - v. 1
KW  - Computer software
KW  - Development
KW  - Mathematics
KW  - Congresses
KW  - Trees (Graph theory)
KW  - Algebra
KW  - Computer programming
KW  - fast
KW  - Electronic books
KW  - Conference papers and proceedings
N1  - Includes bibliographical references and index; Electronic reproduction; [Place of publication not identified]; HathiTrust Digital Library; 2010
UR  - https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-15198-2
ER  -