Category:Formal specification languages

From HandWiki
Jump to: navigation, search

Handwiki book24.pngComputing portal

Here is a list of articles in the category Formal specification languages of the Computing portal that unifies foundations of mathematics and computations using computers.

Formal specification languages supporting formal methods.

Subcategories

This category has only the following subcategory.

Pages in category "Formal specification languages"

The following 58 pages are in this category, out of 58 total.

B

D

E

N

P

T

W

Z