Concurrent Systems

by Michael G. Hinchey

Book Overview

This text serves as both a practical reference manual and an introduction for students using the formal specification language CSP and implementing it in the specification and verification of complex,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0070718369
• ISBN13: 9780077076498
• Release Date: February 1998
• Publisher: McGraw-Hill Companies
• Length: 181 Pages
• Weight: 0.95 lbs.
• Dimensions: 0.5" x 6.9" x 9.8"