Name: Computer Aided Verification - Ganesh Gopalakrishnan, Shaz Qadeer
Price: 61.3 EUR
Author: Ganesh Gopalakrishnan, Shaz Qadeer
ISBN: 9783642221095

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Description

Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA.

In the shopping cart 5 working days Wishlist Ask a question

Free shipping from
€ 19,95 within The Netherlands

Writer: Ganesh Gopalakrishnan, Shaz Qadeer
Title: Computer Aided Verification
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Year: 2011
Language: English
Pages: 763
Weight: 1140 gr

EAN: 9783642221095
Dimensions: 240 x 159 x 42 mm
Binding format: Paperback

You will always receive the last edition from us!

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Description

Categories

Ask a question