Formal specification languages
Topic: Category
From HandWiki - Reading time: 1 min
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 (21 P)
Pages in category "Formal specification languages"
The following 52 pages are in this category, out of 52 total.
A
C
P
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Formal_specification_languages48 views | ↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF