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ț: 22593 lei

Preț vechi: 28242 lei
-20%

Puncte Express: 339
Preț estimativ în valută:
3995€ • 4719$ • 3442£

Carte tipărită la comandă

Livrare economică 20 martie-03 aprilie

 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.