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]

• Pubblicazione: Berlin [etc.] : Springer-Verlag, c1985
• Soggetto non controllato: Programmazione
• Persona (resp. second.): Ehrig, Hartmut
• Note generali: Vol. 1. Colloquium on trees in algebra and programming (CAAP'85)
• Titolo autorizzato: MATHEMATICAL foundations of software development
• ISBN: 3-540-15198-2
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 990001205920403321
• Lo trovi qui: Univ. Federico II
• Collocazione: C-16-(185; 124-N-49