• Compositional verification of...
  • Bestand

Treffer: Compositional verification of parallel programs

Titel:
Compositional verification of parallel programs : using epistemic logic and abstract assertional languages = Compositionele verificatie van parallele programma's / door Marten van Hulst
Verantwortlich:
Hulst, Marten van
Entstehung:
1995
Umfang:
VII, 193 S.
Publikationstyp:
Buch
Sprache:
Englisch; Niederländisch
Hochschul­schrift:
Utrecht, Univ., Diss., 1995
ISBN:
9039310084

Zusatz-Informationen

Zusatz-Funktionen