Momox logo
Sell books & media
Medimops logo
Buy books & more
Your watchlistWatchlistUser loginSign in
All categories
caret-down
Allcaret-down
cartcart

A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191, Band 191)

 
From Howard Barringer
Only 1 items left in stock
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191, Band 191)

Description

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.

Product details

EAN/ISBN:
9783540152392
Edition:
1985
Medium:
Paperback
Number of pages:
128
Publication date:
2008-06-13
Publisher:
Springer
Manufacturer:
Unknown
EAN/ISBN:
9783540152392
Edition:
1985
Medium:
Paperback
Number of pages:
128
Publication date:
2008-06-13
Publisher:
Springer
Manufacturer:
Unknown

Shipping

laposte
Buy on Amazon
The edition supplied may vary.
Condition
Condition
Learn more
€1.49
Used - good
€1.49
available immediately
New €24.60 You save €23.11 (93%)
€1.49
incl. VAT, plus  Shipping costs
paypalvisamastercardamexcartebleue
  • Icon badgeChecked second-hand items
  • Icon packageFree shipping from €19
  • Icon vanWith you in 2-4 working days

More from Howard Barringer

momox books logo