Back to Search

A Survey of Verification Techniques for Parallel Programs

AUTHOR Barringer, Howard
PUBLISHER Springer (05/01/1985)
PRODUCT TYPE Paperback (Paperback)

Description
Show More
Product Format
Product Details
ISBN-13: 9783540152392
ISBN-10: 3540152393
Binding: Paperback or Softback (Trade Paperback (Us))
Content Language: English
More Product Details
Page Count: 120
Carton Quantity: 68
Product Dimensions: 6.14 x 0.27 x 9.21 inches
Weight: 0.42 pound(s)
Country of Origin: US
Subject Information
BISAC Categories
Reference | Questions & Answers
Reference | Software Development & Engineering - General
Reference | Languages - General
Dewey Decimal: 001.64
List Price $39.99
Your Price  $39.59
Paperback