TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bidoit, Michel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Dauchet, Max (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Έκδοση: 1st ed. 1997.
• Σειρά: Lecture Notes in Computer Science, 1214
• Θέματα: Software engineering.; Computer science-Mathematics.; Programming languages (Electronic computers).; Software Engineering/Programming and Operating Systems.; Symbolic and Algebraic Manipulation.; Programming Languages, Compilers, Interpreters.
• Φυσική περιγραφή: XVI, 892 p. online resource.
• ISBN: 9783540685173
• ISSN: 0302-9743 ;
• DOI: 10.1007/BFb0030581

This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997. The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.