Tag:Is0-13568:2002

From Wikipedia, the free encyclopedia

Jump to: navigation, search

Related Tags

Articles

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:Is0-13568:2002"

Views

Personal tools

Log in / create account

Search

Toolbox