✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

A Survey of Verification Techniques for Parallel Programs

A Survey of Verification Techniques for Parallel Programs

von Howard Barringer
Softcover - 9783540152392
24,60 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

Details

Verlag Springer Berlin
Ersterscheinung 01. Mai 1985
Maße 23.5 cm x 15.5 cm
Gewicht 207 Gramm
Format Softcover
ISBN-13 9783540152392
Seiten 120

Schlagwörter

Compiler und Übersetzer, Compilers and Interpreters, Software Engineering

Herstellerinformationen +