Tag:Formal_system
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
programming z notation design languages development specification productivity academic security language formal cs formal-system z-notation formal_specification computerscience mathematics proof fp semantic semantica programminglanguages compsci cmu formalmethods formal-methods declarative pl>z is0-13568:2002 computer-science formal-science all-logical-theories maths devel.theory formal-development information math.ontologies formalsystem math
Articles
- Formal system (1)
- Z notation (1)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_system"
