Linked Data Explorerhttp://worldcat.org/entity/work/id/290374599
ZB 2005 formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/methode_formelle
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/computer_informatica_automatisering
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/logic_design
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/z_lenguaje_de_programacion_congresos_en_linea
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/z_langage_de_programmation_congres
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/z_langage_de_programmation
- http://id.loc.gov/authorities/subjects/sh85010695
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/methode_b_informatique_congres
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/specification_formelle
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/software_engineering
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/computers_programming_languages_java
- http://id.worldcat.org/fast/1002045
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/methode_z
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/ingenieria_del_software_congresos_libros_electronicos
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/informatique
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/programmeren_informatica
- http://id.worldcat.org/fast/1124185
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/softwareentwicklung
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/computers_programming_languages_pascal
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/z_<_programmiersprache>
- http://id.worldcat.org/fast/824788
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/b_<_programmiersprache>
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/b_computer_program_language
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/b_langage_de_programmation
- http://id.loc.gov/authorities/subjects/sh85078117
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/mathematische_logica
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/mathematical_logic_and_formal_languages
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/uml
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/z_computer_program_language
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/computers_programming_languages_c♯
- http://id.loc.gov/authorities/subjects/sh87007398
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/formale_spezifikationstechnik
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/xml
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/methode_b
- http://id.worldcat.org/fast/1183966
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/z_lenguaje_de_programacion_congresos_libros_electronicos
- http://id.loc.gov/authorities/subjects/sh89003285
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/computer_science
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/b_langage_de_programmation_congres
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/ingenieria_del_software_congresos_en_linea
- http://experiment.worldcat.org/entity/work/data/290374599#Place/guildford_2005
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/b_programmiersprache
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/theoretische_informatica
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/logica
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/z_programmiersprache
- http://id.loc.gov/authorities/subjects/sh87007136
- http://id.worldcat.org/fast/872451
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/wiskunde
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/softwarespezifikation
- http://experiment.worldcat.org/entity/work/data/290374599#Topic/logics_and_meanings_of_programs
http://schema.org/contributor
- http://experiment.worldcat.org/entity/work/data/290374599#Meeting/zb_<_4_2005_guildford>
- http://worldcat.org/entity/person/id/2639766387
- http://experiment.worldcat.org/entity/work/data/290374599#Meeting/international_conference_of_b_and_z_users_guildford_2005
- http://experiment.worldcat.org/entity/work/data/290374599#Meeting/international_conference_of_b_and_z_users_zb_4_13_04_2005_15_04_2005_guildford_uk
- http://experiment.worldcat.org/entity/work/data/290374599#Meeting/international_conference_of_b_and_z_users
- http://worldcat.org/entity/person/id/2731851850
- http://worldcat.org/entity/person/id/2632692378
- http://experiment.worldcat.org/entity/work/data/290374599#Meeting/international_conference_of_b_and_z_users_4_2005_04_guildford
- http://experiment.worldcat.org/entity/work/data/290374599#Meeting/zb_2005_4_2005_04_guildford
- http://experiment.worldcat.org/entity/work/data/290374599#Organization/international_conference_of_b_and_z_users
- http://worldcat.org/entity/person/id/2638281598
http://schema.org/creator
- http://experiment.worldcat.org/entity/work/data/290374599#Meeting/international_conference_of_b_and_z_users_4th_2005_guildford_uk
- http://experiment.worldcat.org/entity/work/data/290374599#Meeting/conference_of_b_and_z_users_4_guildford_regno_unito_2005
- http://worldcat.org/entity/person/id/2632692378
- http://experiment.worldcat.org/entity/work/data/290374599#Meeting/international_conference_of_b_and_z_users_4a_2005_guildford_gran_bretana
- http://experiment.worldcat.org/entity/work/data/290374599#Meeting/international_conference_of_b_and_z_users_4th_2005_guildford_england
- http://experiment.worldcat.org/entity/work/data/290374599#Meeting/international_conference_of_b_and_z_users_4th_2005
- http://worldcat.org/entity/person/id/2731851850
http://schema.org/name
- "ZB 2005 formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings"
- "ZB 2005 formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings"@en
- "ZB 2005: Formal Specification and Development in Z and B"
- "Formal specification and development in Z and B proceedings"
- "ZB 2005 Formal specification and development in Z and B : 4th international Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings"
- "ZB 2005 Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings"
- "ZB 2005: formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 ; proceedings"
- "ZB 2005 : formal specification and development in Z and B : 4th international conference of B and Z users, Guildford, UK, April 13-15, 2005 : proceedings"
- "ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings"@en
- "ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings"
- "ZB 2005: formal specification and development in Z and B 4th international conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings"
- "ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings"@en
- "ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings"
- "ZB 2005: formal specification and development in Z and B proceedings"
- "ZB 2005: formal specification and development in Z and B : proceedings"
- "ZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings"
- "ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings"@en
http://schema.org/workExample
- http://www.worldcat.org/oclc/300265970
- http://www.worldcat.org/oclc/254368782
- http://www.worldcat.org/oclc/879111116
- http://www.worldcat.org/oclc/489011486
- http://www.worldcat.org/oclc/829851679
- http://www.worldcat.org/oclc/60417822
- http://www.worldcat.org/oclc/723374972
- http://www.worldcat.org/oclc/318290298
- http://www.worldcat.org/oclc/629703664
- http://www.worldcat.org/oclc/262677930
- http://www.worldcat.org/oclc/850628788
- http://www.worldcat.org/oclc/711994642
- http://www.worldcat.org/oclc/827361142
- http://www.worldcat.org/oclc/496679981
- http://www.worldcat.org/oclc/890433566
- http://www.worldcat.org/oclc/901629427
- http://www.worldcat.org/oclc/403865737
- http://www.worldcat.org/oclc/780913323
- http://www.worldcat.org/oclc/132687749
- http://www.worldcat.org/oclc/228158134
- http://www.worldcat.org/oclc/316266482
- http://www.worldcat.org/oclc/150413220