Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=042402239



Zurück



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4240223-2
Sachbegriff Korrektheit
Quelle M
Erläuterungen Definition: Verknüpfe mit Anwendungsgebiet
Systematik 1 Allgemeines, Interdisziplinäre Allgemeinwörter
Typ Allgemeinbegriff (saz)
Andere Normdaten RAMEAU: Honnêteté
Beispiele 1 Begriff
  1. Partiell korrektes Programm
Thema in 160 Publikationen
  1. Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
    Huster, Stefan. - Tübingen : Tübingen Library Publishing, 2020
  2. Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
    Huster, Stefan. - Tübingen : Universitätsbibliothek Tübingen, 2020
  3. ...
Maschinell verknüpft mit 10 Publikationen
  1. Automated and foundational verification of low-level programs
    Sammler, Michael Joachim. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
  2. Automated termination analysis of C programs
    Hensel, Jera. - Aachen : Universitätsbibliothek der RWTH Aachen, 2023
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration