Computer Aided Verification

27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part Ii

language: english
Publisher: Springer Nature B.V., July of 2015 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book

Computer Aided Verification

27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part Ii

Property Description
ISBN: 9783319216690
Publisher: Springer Nature B.V.
Release Date: July of 2015
Language: English
Dimensions: 156 x 234 x 20 mm
Cover: Softcover
Pages: 488
Format: Book
Collection: International And Comparative Criminology
Categories: Books in English > Others
EAN: 9783319216690