Computer Aided Verification - Paperback

Name: Books by splitShops Computer Aided Verification - Paperback - Computer Aided Verification - Paperback
Brand: Books by splitShops
SKU: 43668590887047
Price: 87.77 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$87.77

Quantity

Color

Black

Quantity

Description

Report copyright infringement
by Hana Chockler (Author), Georg Weissenbacher (Author)
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verificatio...