Katalog der Deutschen Nationalbibliothek (original) (raw)
Ergebnis der Suche nach: nid=4225739-6
Treffer 1 von 1 
 |
|
|---|---|
| Link zu diesem Datensatz | https://d-nb.info/gnd/4225739-6 |
| Sachbegriff | Z |
| Quelle | FOLDOC |
| Oberbegriffe | Beispiel für: SpezifikationsspracheBeispiel für: Programmiersprache |
| DDC-Notation | 005.12005.133 |
| Systematik | 30m Informatikprodukte (Hardware- und Softwareprodukte) |
| Typ | Softwareprodukt (siw) |
| Andere Normdaten | LCSH: Z (Computer program language)RAMEAU: Z (méthode formelle) |
| Beispiele | 1 Begriff HOL-Z |
| Thema in | 36 Publikationen Abstract state machines, alloy, B, TLA, VDM, and ZHeidelberg : Springer, 2014 Abstract State Machines, Alloy, B, TLA, VDM, and ZBerlin, Heidelberg : Springer Berlin Heidelberg, 2014 ... |
Treffer 1 von 1
Administration