Tag:Formal-methods
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
programming z formal notation development design languages methods math specification academic productivity algorithm security language cs formal-theories formal_methods computerscience formal_specification systems-engineering formal-development z-notation compsci analysis code proof fp cmu declarative formalmethods formal_system semantic pl>z programminglanguages semantica is0-13568:2002 category-of-languages formal-specification formal-system formal-problem-solving computer computer_science formal-semantics category-of-signatures category-of-specifications automata-theory 2read abstract-state-machines category-of-theories
Articles
- Formal methods (10)formal-methods formal methods development math programming algorithm reference formal_methods wikipedia formal-theories systems-engineering formal-development code analysis cs computer_science computer formal-problem-solving formal-specification formal-system compsci formal-semantics category-of-signatures abstract-state-machines 2read automata-theory category-of-languages category-of-specifications category-of-theories
- 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-methods"
