zum Haupt-Inhalt
zur Seitenleiste (falls vorhanden)
zum Footer mit externen Links
KATALOGPORTAL
KARLA
Toggle navigation
Aktuelles aus der UB
Bestellen von Medien
Ihr Konto
Abmelden
Anmelden
DE/EN
English
Deutsch
Achtung! JavaScript ist in Ihrem Browser deaktiviert. Deshalb ist die Seite ist nur Eingeschränkt nutzbar.
Bücher & mehr
(1)
/EDS/Advanced?type=AllFields&view=
Artikel & mehr
/Combined/Advanced?
Alles
(1)
alle Felder
alle Felder
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchhistorie
KATALOGPORTAL
KARLA
Verification of parallel progr...
Bestand
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
Zusatz-Funktionen
Zitieren
Als E-Mail versenden
Datensatz exportieren
Exportieren nach Citavi/Endnote
Exportieren nach BibTeX
Zur Merkliste hinzufügen
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
HEB105974560
×
Wird geladen...
