(Q4916175)

English

Bird–Meertens Formalism

calculus for deriving computer programs from specifications by a process of equational reasoning

In more languages

Statements

Commons category

Bird-Meertens formalism

0 references

Identifiers

0 references

Sitelinks

Wikipedia(1 entry)

enwiki Bird–Meertens formalism

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(1 entry)

commonswiki Category:Bird-Meertens formalism

Retrieved from "https://www.wikidata.org/w/index.php?title=Q4916175&oldid=1863567472"