Help

Glossary:state

Revision as of 15:38, 6 December 2011 by Jens Bendisposto (talk | contribs) (Created page with 'A state is a mapping from names to values. In classical B a state consists of constants and variables.')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A state is a mapping from names to values. In classical B a state consists of constants and variables.

Retrieved from "https://prob.hhu.de/w/index.php?title=Glossary:state&oldid=1297"