Formal specification languages

From HandWiki - Reading time: 1 min

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 the following 4 subcategories, out of 4 total.


Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Formal_specification_languages
7 views |
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF