Subject heading |
Axiomatische Semantik |
|---|---|
Synonym |
Floyd-Hoare-Semantik |
Broader term |
|
Related |
Hoare-Logik (verwandter Begriff) |
Topic |
|
Source |
- Lex. Informatik, Duden Informatik unter Semantik |
Record type |
|
GND-Identifier |
4323070-2 |
Record ID |
043230709 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: