<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_langage_de_programmation_congres> <http://schema.org/name> "Z (Langage de programmation) Congrès." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_langage_de_programmation_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_langage_de_programmation_congres> <http://schema.org/name> "Z (langage de programmation) Congrès." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_langage_de_programmation_congres> <http://schema.org/name> "Z (Langage de programmation) Congrès" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM'98 the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings"@en .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760754851> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://id.worldcat.org/fast/1183966> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM '98: The Z formal specification notation : 11th international conference of Z users, Berlin, germany, September 24-26, 1998 : proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/mathematical_logic_and_formal_languages> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/programming_techniques> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/hol> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "The Z formal specification notation proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/web> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/z_user_workshop_berlin_ab_3_10_1990_1998_09> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007136> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_&lt_programmiersprache&gt> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1020860805#Organization/springer_verlag> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801012811> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM '98: the Z formal specification notation : 11 International conference of Z users, Berlin, Germany, September 24-26, 1998 proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/description> "This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bibliography and a summary of the frequently asked questions at two Z Internet sites. The papers are organized in sections on industrial issues, concurrency, tools, Z and HOL, safety-critical and real-time systems, semantic theory, theory and standards, reasoning and consistency issues, refinement, and object orientation."@en .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/860230003> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2722905108> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/76619673> .
<http://worldcat.org/entity/work/id/1020860805> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11a_1998_berlin_alemanya> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM '98 the Z formal specification notation : 11th International conference of Z users, Berlin, Germany, September 24-26, 1998 : proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/699837958> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/genre> "Berlin (1998)" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/concurrence> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://viaf.org/viaf/159156880> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/genre> "Online-Publikation" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/computer_science> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2634674051> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_llenguatge_de_programacio> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_programmeertaal> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM '98 : the z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/66468938> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_langage_de_programmation> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/engenharia_de_programacao_software> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2722905108> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11th_1998_berlin_germany> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/889830866> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/langage_specification> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634674051> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/243486733> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/software_engineering> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632709724> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM'98 : the Z formal specification notation : 11 th International Conference of Z Users Berlin, Germany, September 24-26, 1998 : proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_langage_de_programmation_congres> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/326418501> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11_24_09_1998_26_09_1998_berlin> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/771189523> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_zum_11_1998_09_24_26_berlin> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1020860805#Organization/zum> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/semantique_langage_programmation> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845122154> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM '98, the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings"@en .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://id.worldcat.org/fast/872776> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM '98: The Z Formal Specification Notation"@en .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "Zum'98: the Z formal specification notation"@en .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/alternateName> "ZUM '98: the Z formal specification notation" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2634674051> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM'98 The Z Formal Specification Notation" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Place/berlin_&lt_1998&gt> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2697530985> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM'98 the Z Formal Specification Notation" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/756601637> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2698475757> .
<http://worldcat.org/entity/work/id/1020860805> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/471711819> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/847025575> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/40118414> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/conception_de_systeme> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/alternateName> "ZUM'98" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/langage_z> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2664911335> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2631864224> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/807729499> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM '98: the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/zum_&lt_11_1998_berlin&gt> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/314238318> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2637951499> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/logiciels_developpement_congres> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/workExample> <http://www.worldcat.org/oclc/40436081> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_programmiersprache> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11_1998_berlin> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "The Z formal specification notation : proceedings" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029552> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/name> "ZUM 98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings"@en .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/programmatuurtechniek> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/kongress> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/alternateName> "Z formal specification notation" .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/alternateName> "Z formal specification notation"@en .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1020860805#Topic/formale_spezifikationstechnik> .
<http://worldcat.org/entity/work/id/1020860805> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/hol> <http://schema.org/name> "HOL." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/hol> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_llenguatge_de_programacio> <http://schema.org/name> "Z (Llenguatge de programació)" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_llenguatge_de_programacio> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/mathematical_logic_and_formal_languages> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Organization/zum> <http://schema.org/name> "ZUM" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Organization/zum> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_programmiersprache> <http://schema.org/name> "Z (Programmiersprache)" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_programmiersprache> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_zum_11_1998_09_24_26_berlin> <http://schema.org/name> "International Conference of Z Users (ZUM) (11 1998.09.24-26 Berlin)" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_zum_11_1998_09_24_26_berlin> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_zum_11_1998_09_24_26_berlin> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11_1998_berlin> <http://schema.org/name> "International conference of Z users ((11. : 1998 : Berlin))" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11_1998_berlin> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11_1998_berlin> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/programmatuurtechniek> <http://schema.org/name> "Programmatuurtechniek." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/programmatuurtechniek> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Organization/springer_verlag> <http://schema.org/name> "Springer-Verlag." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Organization/springer_verlag> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Place/berlin_&lt_1998&gt> <http://schema.org/name> "Berlin &lt;1998&gt;" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Place/berlin_&lt_1998&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/logics_and_meanings_of_programs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/langage_z> <http://schema.org/name> "langage Z." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/langage_z> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_&lt_programmiersprache&gt> <http://schema.org/name> "Z &lt;Programmiersprache&gt;" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_&lt_programmiersprache&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/concurrence> <http://schema.org/name> "concurrence." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/concurrence> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/conception_de_systeme> <http://schema.org/name> "Conception de système." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/conception_de_systeme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11th_1998_berlin_germany> <http://schema.org/name> "International Conference of Z Users (11th : 1998 : Berlin, Germany)" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11th_1998_berlin_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11th_1998_berlin_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/formale_spezifikationstechnik> <http://schema.org/name> "Formale Spezifikationstechnik." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/formale_spezifikationstechnik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/formale_spezifikationstechnik> <http://schema.org/name> "Formale Spezifikationstechnik" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/zum_&lt_11_1998_berlin&gt> <http://schema.org/name> "ZUM &lt;11, 1998, Berlin&gt;" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/zum_&lt_11_1998_berlin&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/zum_&lt_11_1998_berlin&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_langage_de_programmation> <http://schema.org/name> "Z (Langage de programmation)" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_langage_de_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/programming_techniques> <http://schema.org/name> "Programming Techniques." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/programming_techniques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/software_engineering> <http://schema.org/name> "Software Engineering." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/software_engineering> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/langage_specification> <http://schema.org/name> "langage spécification." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/langage_specification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/z_user_workshop_berlin_ab_3_10_1990_1998_09> <http://schema.org/name> "Z User Workshop (Berlin (ab 3.10.1990)) (1998/09)" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/z_user_workshop_berlin_ab_3_10_1990_1998_09> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/z_user_workshop_berlin_ab_3_10_1990_1998_09> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/web> <http://schema.org/name> "Web." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/web> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_programmeertaal> <http://schema.org/name> "Z (programmeertaal)" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/z_programmeertaal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/semantique_langage_programmation> <http://schema.org/name> "sémantique langage programmation." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/semantique_langage_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1020860805.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1020860805> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11_24_09_1998_26_09_1998_berlin> <http://schema.org/name> "International conference of Z users (11 : 24-09-1998 - 26-09-1998 : Berlin)" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11_24_09_1998_26_09_1998_berlin> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11_24_09_1998_26_09_1998_berlin> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/kongress> <http://schema.org/name> "Kongress." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/logiciels_developpement_congres> <http://schema.org/name> "Logiciels Développement Congrès." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/logiciels_developpement_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11a_1998_berlin_alemanya> <http://schema.org/name> "International Conference of Z Users (11a : 1998 : Berlin, Alemanya)" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11a_1998_berlin_alemanya> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Meeting/international_conference_of_z_users_11a_1998_berlin_alemanya> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/engenharia_de_programacao_software> <http://schema.org/name> "Engenharia de programacao (software)" .
<http://experiment.worldcat.org/entity/work/data/1020860805#Topic/engenharia_de_programacao_software> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .