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=964787644



Zurück



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4691212-5
Sachbegriff Owicki-Gries-Methode
Quelle Vorlage
Erläuterungen Definition: Eine spez. Verifikationsmethode für parallele Programme
Systematik 30 Informatik, Datenverarbeitung
Thema in 2 Publikationen
  1. Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
    Prensa Nieto, Leonor, 2002
  2. Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
    Prensa Nieto, Leonor, 2002





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration