Perspectives of System Informatics (Q5902408)
From MaRDI portal
scientific article; zbMATH DE number 5653020
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Perspectives of System Informatics |
scientific article; zbMATH DE number 5653020 |
Statements
Perspectives of System Informatics (English)
0 references
5 January 2010
0 references
formal specification
0 references
correct hardware synthesis
0 references
higher-order logic theorem prover
0 references
HOL
0 references
arithmetic operations
0 references
