Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Z_User_Group> ?p ?o }
Showing triples 1 to 64 of
64
with 100 triples per page.
- Z_User_Group abstract "The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.".
- Z_User_Group location United_States.
- Z_User_Group wikiPageExternalLink www.abzconference.org.
- Z_User_Group wikiPageExternalLink www.zuser.org.
- Z_User_Group wikiPageExternalLink constitution.
- Z_User_Group wikiPageExternalLink vl.
- Z_User_Group wikiPageExternalLink zum.
- Z_User_Group wikiPageID "2578793".
- Z_User_Group wikiPageLength "2032".
- Z_User_Group wikiPageOutDegree "17".
- Z_User_Group wikiPageRevisionID "513591750".
- Z_User_Group wikiPageWikiLink APCB.
- Z_User_Group wikiPageWikiLink Abstract_state_machines.
- Z_User_Group wikiPageWikiLink Alloy_(specification_language).
- Z_User_Group wikiPageWikiLink B-Method.
- Z_User_Group wikiPageWikiLink Category:Formal_methods_organizations.
- Z_User_Group wikiPageWikiLink Category:Organizations_based_in_San_Francisco,_California.
- Z_User_Group wikiPageWikiLink Category:Organizations_established_in_1992.
- Z_User_Group wikiPageWikiLink Category:User_groups.
- Z_User_Group wikiPageWikiLink Category:Z_notation.
- Z_User_Group wikiPageWikiLink England.
- Z_User_Group wikiPageWikiLink Formal_methods.
- Z_User_Group wikiPageWikiLink Formal_specification.
- Z_User_Group wikiPageWikiLink Jonathan_Bowen.
- Z_User_Group wikiPageWikiLink London.
- Z_User_Group wikiPageWikiLink Michael_Hinchey.
- Z_User_Group wikiPageWikiLink Steve_Reeves_(computer_scientist).
- Z_User_Group wikiPageWikiLink Z_notation.
- Z_User_Group wikiPageWikiLinkText "Z User Group".
- Z_User_Group wikiPageUsesTemplate Template:Expand_list.
- Z_User_Group wikiPageUsesTemplate Template:Reflist.
- Z_User_Group wikiPageUsesTemplate Template:US-org-stub.
- Z_User_Group subject Category:Formal_methods_organizations.
- Z_User_Group subject Category:Organizations_based_in_San_Francisco,_California.
- Z_User_Group subject Category:Organizations_established_in_1992.
- Z_User_Group subject Category:User_groups.
- Z_User_Group subject Category:Z_notation.
- Z_User_Group type Agent.
- Z_User_Group type Area.
- Z_User_Group type Group.
- Z_User_Group type Language.
- Z_User_Group type List.
- Z_User_Group type Organisation.
- Z_User_Group type Area.
- Z_User_Group type Establishment.
- Z_User_Group type Group.
- Z_User_Group type Language.
- Z_User_Group type List.
- Z_User_Group type Method.
- Z_User_Group type Organization.
- Z_User_Group type Redirect.
- Z_User_Group type Organization.
- Z_User_Group type Organization.
- Z_User_Group type Agent.
- Z_User_Group type SocialPerson.
- Z_User_Group type Thing.
- Z_User_Group type Q43229.
- Z_User_Group comment "The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.".
- Z_User_Group label "Z User Group".
- Z_User_Group sameAs Q8063360.
- Z_User_Group sameAs m.07p9wr.
- Z_User_Group sameAs Q8063360.
- Z_User_Group wasDerivedFrom Z_User_Group?oldid=513591750.
- Z_User_Group isPrimaryTopicOf Z_User_Group.