Category:Formal specification languages
From HandWiki
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.
 |
Wikimedia Commons has media related to Formal specification languages. |
Formal specification languages supporting formal methods.
Subcategories
This category has the following 4 subcategories, out of 4 total.
D
- Denotational semantics (6 P)
P
- Petri nets (20 P)
- Process calculi (23 P)
Pages in category "Formal specification languages"
The following 56 pages are in this category, out of 56 total.
