zum Haupt-Inhalt
zur Seitenleiste (falls vorhanden)
zum Footer mit externen Links
Toggle navigation
h_da BIBLIOTHEK
Alte Merkliste umziehen/exportieren
Mein Ausleihkonto
Log out
Ausleihkonto/Login
DE/EN
English
Deutsch
Achtung! JavaScript ist in Ihrem Browser deaktiviert. Deshalb ist die Seite ist nur Eingeschränkt nutzbar.
Lokaler Bestand
(1)
/EDS/Advanced?type=AllFields&view=
Artikel und mehr
alle Felder
alle Felder
Titel
Verfasser
Schlagwort
Suchen
Erweiterte Suche
Suchhistorie
Verification of parallel progr...
Intern
Treffer:
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Gespeichert in:
Titel:
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
/ Leonor Prensa Nieto
Beteiligt:
Prensa Nieto, Leonor
Entstehung:
2002
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschulschrift:
München, Techn. Univ., Diss., 2002
Schlagworte:
Paralleles Programm
Verifikation
Isabelle, Programm
HOL
Owicki-Gries-Methode
Rely-Guarantee-Methode
Suche
Zusatz-Informationen
Bestand
Beschreibung
Inhaltsangabe
Intern
Zusatz-Funktionen
Zitieren
Als E-Mail versenden
Datensatz exportieren
Exportieren nach EndNote
Exportieren nach BibTeX
Zur Merkliste hinzufügen
×
Wird geladen...
