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=4135576-3



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4135576-3
Sachbegriff Programmverifikation
Quelle Lex. Kybern.
Oberbegriffe Verifikation
Thematischer Bezug Verwandter Begriff: Hoare-Logik
DDC-Notation 005.14
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Computer programs -- Verification
LCSH: Computer software -- Verification
LCSH: Computer systems -- Verification
RAMEAU: Logiciels -- Vérification
Untergeordnet 1 Datensatz
  1. Symbolische Ausführung
    Softwaretest
Thema in 372 Publikationen
  1. Programming Languages and Systems
    Berlin, Heidelberg : Springer Berlin Heidelberg, 2023, 1st edition 2023
  2. Programming Languages and Systems
    Cham : Springer International Publishing, 2020, 1st edition 2020
  3. ...
Maschinell verknüpft mit 39 Publikationen
  1. Dependent Assertions for Specification and Control Flow Verification
    Grätz, Lukas. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2026
  2. Efficient Software Tools for Scalable Model-Based Validation and Verification
    Schwaiger, Florian Thomas. - München : Universitätsbibliothek der TU München, 2026
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration