Delivery included to the United States

Computer-Aided Verification

Computer-Aided Verification 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: 9780387544779
Publisher: Springer Verlag
Imprint: Springer Verlag
Language: English
Number of pages: 372
Weight: 635g
Height: 247mm
Width: 165mm
Spine width: 25mm