Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: nid=4343105-7

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/gnd/4343105-7
Sachbegriff	Hoare-Logik
Quelle	Sybex-Computerlex.
Synonyme	Hoare logic Hoare calculus
Thematischer Bezug	Verwandter Begriff: Programmverifikation Verwandter Begriff: Axiomatische Semantik
Systematik	30 Informatik, Datenverarbeitung
Typ	Allgemeinbegriff (saz)
Thema in	7 Publikationen Numeric inference of heap shapes for the automated analysis of heap-allocating programs Siegel, Holger. - München : Verlag Dr. Hut, 2016, 1. Auflage Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs Siegel, Holger. - München : Verlag Dr. Hut, 2016 ...

Treffer 1 von 1