"Colloquium on Trees in Algebra and Programming (22. 1997. Lille, Francia)" . . . "Theory and Practice of Software Development (7.) (Lille) (1997)" . . . "Lille <1997>" . . "Oprogramowanie rozwój konferencje." . . "sémantique." . . "Teoria da computacao." . . "TAPSOFT'97 (7 : 1997.04 : Lille)" . . . "International joint conference CAAP/FASE (7 : 1997 : Lille)" . . . "spécification algébrique." . . "Logiciels Développement Congrès." . . "Software Engineering/Programming and Operating Systems." . . "Colloquium on Formal Approaches of Software Engineering (1997. Lille, Francia)" . . . "développement logiciel." . . "International Joint Conference on Theory and Practice of Software Development (7a : 1997 : Lille, França)" . . . "Computer Software Development." . . "Développement de logiciels." . . "International joint conference CAAP-FASE, 7., Lille, 1997." . . . "type." . . . . "Software Congresos." . . "International Joint Conference on Theory and Practice of Software Development (TAPSOFT '97) (7th : 1997 : Lille, France)" . . . "Colloquium on Formal Approaches of Software Engineering (FASE)" . . . "Computer Science." . . "International Joint Conference on Theory and Practice of Software Development" . . "Programacao de computadores." . . "International Joint Conference CAAP/FASE on Theory and Practice of Software Development" . . "Génie logiciel." . . "contrainte." . . "Programmatuurtechniek." . . "réécriture." . . "Langages formels Congrès." . . "Colloquium on Formal Approaches in Software Enginnering (1997 : Lille, França)" . . . "International Joint Conference on Theory and Practice of Software Development (7. 1997. Lille, Francia)" . . . "Theory of Computation." . . "TAPSOFT '97 : theory and practice of software development : 7th International joint conference CAAP-FASE : Lille, France, April 14-18, 1997 : proceedings" . "Congressen (vorm)" . . . . . . . . . "TAPSOFT '97 : Theory and practice of software development : 7. International Joint Conference CAAP/FASE, Lille, April 14-18, 1997 : Proceedings" . . . . . "TAPSOFT'97 : Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE : Proceedings" . "TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings" . . . "TAPSOFT'97 : theory and practice of software development : 7th international joint conference CAAP/FASE Lille, France, April 14-18, 1997"@en . . . "TAPSOFT '97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE Lille, France, April 14-18, 1997 Proceedings" . "TAPSOFT '97 theory and practice of software development : 7th International joint conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings" . . . . "TAPSOFT'97 : theory and practice of software development : 7th international joint conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings" . . . . . . . . "Theory and practice of software development : proceedings" . . . . . "TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE Lille, France, April 14-18, 1997 : proceedings" . . . . . . . . . "TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings" . "TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings"@en . "TAPSOFT '97: Theory and practice of software development : 7th international joint conference CAAP/FASE, Lille, France, april 14-18, 1997, proceedings" . . . . "Theory and practice of software development"@en . . . . . . . . . "TAPSOFT '97 - Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings"@en . "TAPSOFT '97 - Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings" . . . . . . . . "TAPSOFT '97 theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings"@en . . "TAPSOFT' 97 : theory and practice of software development : 7th international joint conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings" . . . "TAPSOFT '97 : theory and practice of software development : 7th international joint conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings" . . . "Topsoft '97 : Theory and practice of software development - 7th international joint conference CAAP/FASE, Lille, France, april 14-18, 1997, Proceedings"@it . . . . . "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." . . . "TAPSOFT '97 : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings"@en . . . . . . "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."@en . "Fase"@en . . . . . . . . . . . "Kongress" . . . . "Caap '97"@en . . . . . . . . . "Theory and practice software development" . "Conference papers and proceedings"@en . "Conference papers and proceedings" . . . . "TAPSOFT '97 : theory and practice of software development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, proceedings" . . "Electronic books" . "Electronic books"@en . . . "logiciel - développement [congrès]" . . "Congressi - Lille - 1997." . . "vérification." . . "Ateliers de génie logiciel Congrès." . . "TAPSOFT '97 (7 ; 1997 ; Lille)." . . . "Automates mathématiques, Théorie des Congrès." . . "International Joint Conference on Theory and Practice of Software Development (7th : 1997 : Lille, France)" . . . "International Joint Conference on the Theory and Practice of Software Development (7 : 1997 : Lille)" . . . "International Joint Conference CAAP/FASE on Theory and Practice of Software Development (7 : 1997, April 14-18 : Lille, France)" . . . "Colloquium on Trees in Algebra and Programming (22è : 1997 : Lille, França)" . . . "Llenguatges de programació Congressos." . . "Programació (Ordinadors) Congressos." . . "Software - Sviluppo - Congressi - 1997." . . "Logiciels Développement." . . "Colloquium on Formal Approaches in Software Engineering :" . . "Software fejlesztés tanulmányok." . . "automate." . . "Softwareentwicklung." . . "International joint conference on the theory and practice of software development, 7., Lille, 1997." . . . "Colloquium on Trees in Algebra and Programming (CAAP'97)" . . . "complexité" . . "unification." . .