Treffer: A survey of verification techniques for parallel programs

Titel:

Verantwortlich:

Barringer, Howard

Veröffentlicht:

Berlin [u.a.] : Springer, 1985

Umfang:

VI, 114 S.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 191
alle Bände anzeigen

RVK-Notation:

Schlagworte:

ISBN:

3540152393 ; 0387152393

Zusatz-Informationen