• Verification of parallel progr...
  • Inhaltsangabe

Treffer: Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL

Titel:
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL / Leonor Prensa Nieto
Verantwortlich:
Prensa Nieto, Leonor 
Entstehung:
2002
Umfang:
Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Hochschul­schrift:
München, Techn. Univ., Diss., 2002
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen