Concurrency Verification Introduction to Compositional and Noncompositional Methods

Name: Concurrency Verification Introduction to Compositional and Noncompositional Methods
Price: 128.15 USD
Availability: InStock
ISBN: 9780521806084

by De Roever, W. P., Abramsky, S., Aczel, P. H.

Marketplace Prices
New from $128.15

New
$128.15

List Price

~~$252.00~~

Discount

49% Off

You Save

$123.85

Item Details
Condition: New
Provider: buybestbooks15
Provider Rating:

41%
Ships From: STERLING HEIGHTS, MI
Shipping: Standard
Comments: New Book Original US edition, We Ship to PO BOX Address also.

ISBN-13: 9780521806084
ISBN: 0521806089
Publisher: Cambridge University Press

AUTHOR

De Roever, W. P., Abramsky, S., Aczel, P. H.

SUMMARY

This is an introduction to compositional proof methods for the state-based verification of con-current programmes, and to non-compositional methods.De Roever, W. P. is the author of 'Concurrency Verification Introduction to Compositional and Noncompositional Methods' with ISBN 9780521806084 and ISBN 0521806089.

[read more]