Linked Data Explorerhttp://worldcat.org/entity/work/id/1104429989
TAPSOFT '95
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciel_developpement_congres
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/langages_formels_congres
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel_congres
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/reecriture
- http://experiment.worldcat.org/entity/work/data/1104429989#Place/arhus_<_1995>
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/softwareentwicklung_kongressbericht
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/developpement_logiciel
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arbre_theorie_des_graphes
- http://id.worldcat.org/fast/1124185
- http://id.loc.gov/authorities/subjects/sh85078117
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/systeme_concurrent
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_formelle
- http://id.loc.gov/authorities/subjects/sh89003285
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_algebrique
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_sviluppo_congressi_1995
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/calcul_parallele
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/softwareentwicklung
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programming_languages_compilers_interpreters
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programmatuurtechniek
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/concurrence
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arbre
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/ateliers_de_genie_logiciel_congres
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/analyse_algorithme
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logics_and_meanings_of_programs
- http://id.loc.gov/authorities/subjects/sh87007398
- http://id.worldcat.org/fast/872537
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/semantique
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/oprogramowanie_rozwoj_konferencje
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_congresos
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/contrainte
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/mathematical_logic_and_formal_languages
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/langage_formel
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/congressi_aarhus_1995
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/computation_by_abstract_devices
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/computer_science
- http://id.loc.gov/authorities/subjects/sh2008101470
- http://id.worldcat.org/fast/872451
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/software_engineering
- http://id.loc.gov/authorities/subjects/sh85029535
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/developpement_de_logiciels
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciels_developpement_congres
- http://id.worldcat.org/fast/1002045
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/automates_mathematiques_theorie_des_congres
- http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arithmetic_and_logic_structures
http://schema.org/contributor
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_6_1995_05_22_26_aarhus
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_1995_aarhus_denmark
- http://worldcat.org/entity/person/id/2634347357
- http://experiment.worldcat.org/entity/work/data/1104429989#Organization/international_joint_conference_on_the_theory_and_practice_of_software_development
- http://worldcat.org/entity/person/id/2632404137
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_conference_1995_aarhus_denmark
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_caap_95
- http://viaf.org/viaf/126312774
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6_1995_aarhus
- http://viaf.org/viaf/136904895
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/caap_20_1995_05_22_26_aarhus
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_1995_aarhus_denmark
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_colloquium_on_trees_in_algebra_and_programming_caap_95_1995_aarhus_denmark
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_20_1995_05_22_26_aarhus
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_in_software_engineering_1995_05_22_26_aarhus
- http://experiment.worldcat.org/entity/work/data/1104429989#Organization/international_joint_conference_on_theory_and_practice_of_software_development
- http://experiment.worldcat.org/entity/work/data/1104429989#Organization/colloquium_on_formal_approaches_of_software_engineering
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/tapsoft_6_1995_05_22_26_aarhus
- http://worldcat.org/entity/person/id/2640633959
- http://experiment.worldcat.org/entity/work/data/1104429989#Organization/colloquium_on_trees_in_algebra_and_programming
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_6_aarhus_1995
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_fase_1995_05_22_26_aarhus_denmark
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_1995_aarhus
- http://viaf.org/viaf/122855223
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_1995_05_22_26_aarhus
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_formal_approaches_of_software_engineering_fase
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_the_theory_and_practice_of_software_development_tapsoft_6_1995_05_22_26_aarhus
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_caap_20_1995_05_22_26_aarhus_denmark
http://schema.org/creator
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/tapsoft_95_6_1995_aarhus
- http://worldcat.org/entity/person/id/2634347357
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6_1995_aarhus_denmark
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_arhus_denmark
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_tapsoft_95_6th_1995_aarhus_denmark
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_aarhus_1995
- http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_aarhus_denmark
http://schema.org/description
- "This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions."
http://schema.org/genre
- "Conference papers and proceedings"
- "Conference proceedings"
- "Kongreß"
- "Kongress"
- "Electronic books"
- "Congressen (vorm)"
http://schema.org/name
- "TAPSOFT '95"@en
- "Theory and practice of software development : proceedings"
- "TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings"
- "TAPSOFT '95: Theory and Practice of Software Development 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings"
- "TAPSOFT '95 theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings"
- "TAPSOFT '95: theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995 ; proceedings"
- "TAPSOFT '95 : theory and practice of software development : 6th International joint conference CAAP-FASE : Aarhus, Denmark, May 22-26, 1995 : proceedings"
- "TAPSOFT '95: theory and practice of software development : 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings"
- "TAPSOFT '95 theory and practice of software development : 6th International joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings"
- "TAPSOFT'95 : theory and practice of software development : 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings"
- "TAPSOFT '95: Theory and Practice of Software Development 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995 Proceedings"
- "TAPSOFT '95 Theory and practice of software development ; 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995 Proceedings"
http://schema.org/workExample
- http://www.worldcat.org/oclc/468112163
- http://www.worldcat.org/oclc/611669390
- http://www.worldcat.org/oclc/832656046
- http://www.worldcat.org/oclc/845515030
- http://www.worldcat.org/oclc/793077562
- http://www.worldcat.org/oclc/150398057
- http://www.worldcat.org/oclc/801053816
- http://www.worldcat.org/oclc/911377523
- http://www.worldcat.org/oclc/441638817
- http://www.worldcat.org/oclc/751014164
- http://www.worldcat.org/oclc/760737619
- http://www.worldcat.org/oclc/827358174
- http://www.worldcat.org/oclc/801024548
- http://www.worldcat.org/oclc/715887295
- http://www.worldcat.org/oclc/637626078
- http://www.worldcat.org/oclc/32391827