Willkommen, schön sind Sie da!
Logo Ex Libris

A Survey of Verification Techniques for Parallel Programs

  • Kartonierter Einband
  • 120 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
InhaltFlow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verificatio... Weiterlesen
20%
34.90 CHF 27.90
Sie sparen CHF 7.00
Exemplar wird für Sie besorgt.
Kein Rückgaberecht!
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt
Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.

Produktinformationen

Titel: A Survey of Verification Techniques for Parallel Programs
Autor:
EAN: 9783540152392
ISBN: 978-3-540-15239-2
Format: Kartonierter Einband
Herausgeber: Springer, Berlin
Genre: Informatik
Anzahl Seiten: 120
Gewicht: 191g
Größe: H235mm x B235mm
Jahr: 1985
Untertitel: Englisch
Auflage: 1985

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"