Delivery included to the United States

Computer Aided Verification

Computer Aided Verification Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : Proceedings - Lecture Notes in Computer Science

Paperback

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Book information

ISBN: 9780387564968
Publisher: Springer Verlag
Imprint: Springer Verlag
Language: English
Number of pages: 422
Weight: 734g
Height: 155mm
Width: 233mm
Spine width: 27mm