˜Aœ survey of verification techniques for parallel programs

˜Aœ survey of verification techniques for parallel programs

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Barringer, Howard (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 1985
Schriftenreihe:Lecture notes in computer science 191
Schlagworte:
Logiciels - Vérification > Parallélisme (Informatique) > Parallel processing (Electronic computers) > Parallel programs (Computer programs) > Verification > Verifikation > Programmierung > Programmverifikation > Parallelverarbeitung
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:VI, 114 S.
ISBN:3540152393
3-540-15239-3
0387152393
0-387-15239-3