MATHEMATICAL foundations of software development : proceedings of the International Joint Conference on Theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 / edited by Hartmut Ehrig ... [e altri]
Pubbl/distr/stampa
Berlin [etc.] : Springer-Verlag, c1985
ISBN
3-540-15198-2
Collana
Lecture notes in computer science ; 185
Locazione
MA1
Collocazione
C-16-(185
124-N-49
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Note generali
Vol. 1. Colloquium on trees in algebra and programming (CAAP'85)