Survey of Verification Techniques for Parallel Programs

AvHoward Barringer

Häftad, Engelska, 1985

Del i serien Lecture Notes in Computer Science

264 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1985-05-01
Mått:155 x 235 x 8 mm
Vikt:207 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:120
Upplaga:1985
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540152392

Utforska kategorier

Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Del 16

Advances in Temporal Logic

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough

Inbunden, 1999

1 631 kr

Temporal Logic in Specification

Behnam Banieqbal, Howard Barringer, Amir Pnueli

Häftad, 1989

565 kr

Runtime Verification

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

Häftad, 2010

565 kr

Runtime Verification

Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone, Howard Barringer

E-bok

2010

708 kr

Del 16

Advances in Temporal Logic

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough

Häftad, 2010

1 631 kr

Advances in Temporal Logic

Graham Gough, Dov M. Gabbay, Michael Fisher, Howard Barringer

E-bok

2013

1 977 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

548 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

923 kr