Tag:Formal_specification

From Wikipedia, the free encyclopedia

Jump to: navigation, search

Related Tags

Articles

Z notation (2)
programming z notation design languages development wikipedia specification security productivity language academic formal proof z-notation formal_specification computerscience is0-13568:2002 pl>z programminglanguages semantica semantic fp formal_system compsci cmu cs declarative formal-methods formalmethods

Retrieved from "http://en.wikipedia.org/wiki/Tag:Formal_specification"

Views

Personal tools

NOTE: This is just a prototype of tag-based navigation on Wikipedia. Visit Wikipedia for the online encyclopedia.Log in / create account

Search

Toolbox