Linked Data Explorerhttp://worldcat.org/entity/work/id/1008467261
TAPSOFT'97 : theory and practice of software development : 7th international joint conference CAAP/FASE Lille, France, April 14-18, 1997
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.
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/theory_of_computation
- http://id.worldcat.org/fast/1124185
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/computer_software_development
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/congressi_lille_1997
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/logiciel_developpement_congres
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/developpement_logiciel
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/software_fejlesztes_tanulmanyok
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/softwareentwicklung
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/automate
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/unification
- http://id.loc.gov/authorities/subjects/sh87007398
- http://experiment.worldcat.org/entity/work/data/1008467261#Place/lille_<_1997>
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/teoria_da_computacao
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/contrainte
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/developpement_de_logiciels
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/llenguatges_de_programacio_congressos
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/specification_algebrique
- http://id.worldcat.org/fast/973149
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/software_engineering_programming_and_operating_systems
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/logiciels_developpement_congres
- http://id.loc.gov/authorities/subjects/sh89003285
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/langages_formels_congres
- http://id.loc.gov/authorities/subjects/sh85029535
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/automates_mathematiques_theorie_des_congres
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/ateliers_de_genie_logiciel_congres
- http://id.worldcat.org/fast/872537
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/programmatuurtechniek
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/type
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/genie_logiciel
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/semantique
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/software_congresos
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/verification
- http://id.loc.gov/authorities/subjects/sh2008101470
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/computer_science
- http://id.worldcat.org/fast/872451
- http://id.loc.gov/authorities/subjects/sh85066289
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/software_sviluppo_congressi_1997
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/programacao_de_computadores
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/reecriture
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/logiciels_developpement
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/complexite
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/programacio_ordinadors_congressos
- http://experiment.worldcat.org/entity/work/data/1008467261#Topic/oprogramowanie_rozwoj_konferencje
http://schema.org/contributor
- http://experiment.worldcat.org/entity/work/data/1008467261#Organization/international_joint_conference_on_theory_and_practice_of_software_development
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/colloquium_on_trees_in_algebra_and_programming_22_1997_lille_francia
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_7_lille_1997
- http://worldcat.org/entity/person/id/2638714186
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/tapsoft_97_7_1997_04_lille
- http://experiment.worldcat.org/entity/work/data/1008467261#Organization/international_joint_conference_caap_fase_on_theory_and_practice_of_software_development
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_7_1997_lille
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/colloquium_on_formal_approaches_of_software_engineering_fase
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/international_joint_conference_caap_fase_on_theory_and_practice_of_software_development_7_1997_april_14_18_lille_france
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/colloquium_on_formal_approaches_in_software_enginnering_1997_lille_franca
- http://worldcat.org/entity/person/id/2632859353
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/colloquium_on_trees_in_algebra_and_programming_caap_97
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/colloquium_on_formal_approaches_of_software_engineering_1997_lille_francia
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/international_joint_conference_caap_fase_7_1997_lille
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/tapsoft_97_7_1997_lille
- http://viaf.org/viaf/194367026
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/colloquium_on_trees_in_algebra_and_programming_22e_1997_lille_franca
- http://experiment.worldcat.org/entity/work/data/1008467261#Organization/colloquium_on_formal_approaches_in_software_engineering
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/theory_and_practice_of_software_development_7_lille_1997
http://schema.org/creator
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_7a_1997_lille_franca
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_7th_1997_lille_france
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/international_joint_conference_caap_fase_7_lille_1997
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_7_1997_lille_francia
- http://worldcat.org/entity/person/id/2632859353
- http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_tapsoft_97_7th_1997_lille_france
http://schema.org/description
- "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
- "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."
http://schema.org/name
- "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 : 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"
- "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"@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
- "TAPSOFT '97 : 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"
http://schema.org/workExample
- http://www.worldcat.org/oclc/909001334
- http://www.worldcat.org/oclc/750894347
- http://www.worldcat.org/oclc/326777728
- http://www.worldcat.org/oclc/728088956
- http://www.worldcat.org/oclc/760737620
- http://www.worldcat.org/oclc/717866021
- http://www.worldcat.org/oclc/466122316
- http://www.worldcat.org/oclc/473591165
- http://www.worldcat.org/oclc/150397497
- http://www.worldcat.org/oclc/807522519
- http://www.worldcat.org/oclc/878761960
- http://www.worldcat.org/oclc/756601144
- http://www.worldcat.org/oclc/699836585
- http://www.worldcat.org/oclc/441306726
- http://www.worldcat.org/oclc/911377714
- http://www.worldcat.org/oclc/637699753
- http://www.worldcat.org/oclc/37008815
- http://www.worldcat.org/oclc/851794005
- http://www.worldcat.org/oclc/756600622
- http://www.worldcat.org/oclc/246324878
- http://www.worldcat.org/oclc/801028434
- http://www.worldcat.org/oclc/60137253
- http://www.worldcat.org/oclc/797647985
- http://www.worldcat.org/oclc/475754486