Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Z_notation> ?p ?o }
- Z_notation abstract "The Z notation /ˈzɛd/ is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.".
- Z_notation thumbnail Agendacumple_en_Z.jpg?width=300.
- Z_notation wikiPageExternalLink czt.sourceforge.net.
- Z_notation wikiPageExternalLink erz.comli.com.
- Z_notation wikiPageExternalLink Z.
- Z_notation wikiPageExternalLink fuzz.
- Z_notation wikiPageExternalLink zrm.
- Z_notation wikiPageExternalLink z-book.
- Z_notation wikiPageExternalLink Zstandard.
- Z_notation wikiPageExternalLink online.
- Z_notation wikiPageExternalLink wsdl20-z.html.
- Z_notation wikiPageExternalLink zbook.
- Z_notation wikiPageExternalLink zwordtools.sourceforge.net.
- Z_notation wikiPageExternalLink z-vime.
- Z_notation wikiPageExternalLink z-vimes.
- Z_notation wikiPageExternalLink zeta.
- Z_notation wikiPageExternalLink ZEves.html.
- Z_notation wikiPageExternalLink hol-z.
- Z_notation wikiPageExternalLink cadiz.
- Z_notation wikiPageExternalLink index.
- Z_notation wikiPageExternalLink welcome.html.
- Z_notation wikiPageExternalLink ProB.
- Z_notation wikiPageID "34521".
- Z_notation wikiPageLength "8588".
- Z_notation wikiPageOutDegree "42".
- Z_notation wikiPageRevisionID "669710904".
- Z_notation wikiPageWikiLink APL_(programming_language).
- Z_notation wikiPageWikiLink ASCII.
- Z_notation wikiPageWikiLink Abstract_Machine_Notation.
- Z_notation wikiPageWikiLink Abstract_machine_notation.
- Z_notation wikiPageWikiLink Alloy_(specification_language).
- Z_notation wikiPageWikiLink Axiomatic_set_theory.
- Z_notation wikiPageWikiLink B-Method.
- Z_notation wikiPageWikiLink Bertrand_Meyer.
- Z_notation wikiPageWikiLink Category:1977_introductions.
- Z_notation wikiPageWikiLink Category:Formal_specification_languages.
- Z_notation wikiPageWikiLink Category:Oxford_University_Computing_Laboratory.
- Z_notation wikiPageWikiLink Category:Specification_languages.
- Z_notation wikiPageWikiLink Category:Z_notation.
- Z_notation wikiPageWikiLink Community_Z_Tools.
- Z_notation wikiPageWikiLink Computer_program.
- Z_notation wikiPageWikiLink Fastest.
- Z_notation wikiPageWikiLink First-order_logic.
- Z_notation wikiPageWikiLink First-order_predicate_logic.
- Z_notation wikiPageWikiLink Formal_methods.
- Z_notation wikiPageWikiLink Formal_specification.
- Z_notation wikiPageWikiLink HOL_(proof_assistant).
- Z_notation wikiPageWikiLink HOL_theorem_prover_family.
- Z_notation wikiPageWikiLink International_Organization_for_Standardization.
- Z_notation wikiPageWikiLink Jean-Raymond_Abrial.
- Z_notation wikiPageWikiLink LaTeX.
- Z_notation wikiPageWikiLink Lambda_calculus.
- Z_notation wikiPageWikiLink Microsoft_Word.
- Z_notation wikiPageWikiLink Model-based_testing.
- Z_notation wikiPageWikiLink Naive_set_theory.
- Z_notation wikiPageWikiLink Object-Z.
- Z_notation wikiPageWikiLink Object_Constraint_Language.
- Z_notation wikiPageWikiLink Open-source_software.
- Z_notation wikiPageWikiLink Oxford_University.
- Z_notation wikiPageWikiLink Programming_Research_Group.
- Z_notation wikiPageWikiLink Set_theory.
- Z_notation wikiPageWikiLink Specification_language.
- Z_notation wikiPageWikiLink Type_(model_theory).
- Z_notation wikiPageWikiLink United_Kingdom.
- Z_notation wikiPageWikiLink University_of_Grenoble.
- Z_notation wikiPageWikiLink University_of_Oxford.
- Z_notation wikiPageWikiLink Z++.
- Z_notation wikiPageWikiLink Z_User_Group.
- Z_notation wikiPageWikiLink Électricité_de_France.
- Z_notation wikiPageWikiLink File:Agendacumple_en_Z.jpg.
- Z_notation wikiPageWikiLinkText "Z Notation".
- Z_notation wikiPageWikiLinkText "Z formal notation".
- Z_notation wikiPageWikiLinkText "Z formal specification notation".
- Z_notation wikiPageWikiLinkText "Z notation".
- Z_notation wikiPageWikiLinkText "Z specifications".
- Z_notation wikiPageWikiLinkText "Z".
- Z_notation date "May 2011".
- Z_notation hasPhotoCollection Z_notation.
- Z_notation reason "A useless boasting cliché!".
- Z_notation wikiPageUsesTemplate Template:Authority_control.
- Z_notation wikiPageUsesTemplate Template:Citation.
- Z_notation wikiPageUsesTemplate Template:Citation_needed.
- Z_notation wikiPageUsesTemplate Template:Cite_book.
- Z_notation wikiPageUsesTemplate Template:Clarify.
- Z_notation wikiPageUsesTemplate Template:IPAc-en.
- Z_notation wikiPageUsesTemplate Template:Reflist.
- Z_notation subject Category:1977_introductions.
- Z_notation subject Category:Formal_specification_languages.
- Z_notation subject Category:Oxford_University_Computing_Laboratory.
- Z_notation subject Category:Specification_languages.
- Z_notation subject Category:Z_notation.
- Z_notation hypernym Language.
- Z_notation type Agent.
- Z_notation type Article.
- Z_notation type Language.
- Z_notation type Person.
- Z_notation type Article.
- Z_notation type Language.
- Z_notation type Method.
- Z_notation type Person.