Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: nid=4343105-7



Treffer 1 von 1 < < > <



Sachbegriffe
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
Thema in 5 Publikationen
  1. Numeric inference of heap shapes for the automated analysis of heap-allocating programs
    Siegel, Holger. - München : Verlag Dr. Hut, 2016, 1. Auflage
  2. Verification of business rules programs
    Berstel-Da Silva, Bruno. - Heidelberg : Springer, 2014
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration