Katalog der Deutschen Nationalbibliothek

Neuigkeiten Geänderte Servicezeiten ab 1. März 2019 an der Information in Frankfurt am Main: Montag bis Freitag von 9–12 Uhr und 13–18 Uhr , Samstag von 10–16 Uhr // Changes to service hours as of 1 March 2019 at the Information desk in Frankfurt am Main: Monday to Friday: 9:00–12:00 and 13:00–18:00, Saturday: 10:00–16:00
 
 

Ergebnis der Suche nach: idn=964337452



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/964337452
Art des Inhalts Hochschulschrift
Titel Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL / Leonor Prensa Nieto
Person(en) Prensa Nieto, Leonor (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2002
Umfang/Format ca. 1,0 MB
Andere Ausgabe(n) Druckausg.: Prensa Nieto, Leonor: Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Hochschulschrift München, Techn. Univ., Diss., 2002
Persistent Identifier URN: urn:nbn:de:bvb:91-diss2002021117027
URL http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/prensa_nieto.pdf
http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/prensa_nieto.html
Sprache(n) Englisch (eng)
Anmerkungen Langzeitarchivierung gewährleistet
Schlagwörter Paralleles Programm ; Verifikation ; Isabelle <Programm> ; HOL ; Owicki-Gries-Methode ; Rely-Guarantee-Methode
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration