Computer Aided Verification 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings

Name: Computer Aided Verification 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings
Price: 52.33 USD
Availability: InStock
Author: Grumberg, O.
ISBN: 9783540631668

by Grumberg, O.

Marketplace Prices
New from $52.33

New
$52.33

List Price

~~$99.00~~

Discount

47% Off

You Save

$46.67

Recommended

Item Details
Condition: New
Provider: LightningBooks
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783540631668
ISBN: 3540631666
Publication Date: 1997
Publisher: Springer

AUTHOR

Grumberg, O.

SUMMARY

Grumberg, O. is the author of 'Computer Aided Verification 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings', published 1997 under ISBN 9783540631668 and ISBN 3540631666.

[read more]