Cantitate/Preț
Produs
Total produse
Vezi coșul
A Survey of Verification Techniques for Parallel Programs de Howard Barringer

A Survey of Verification Techniques for Parallel Programs

Autor Howard Barringer
en Limba Engleză Paperback – mai 1985

Preț: 22664 lei

Preț vechi: 28329 lei
-20%

Puncte Express: 340

Carte tipărită la comandă

Livrare economică 24 iulie-07 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540152392
ISBN-10: 3540152393
Pagini: 128
Ilustrații: VIII, 120 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.21 kg
Ediția:1985
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.