This is our Canada store.

Looks like you're in United States. You need a Canada address to shop on our Canada store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Have an account?Sign in

Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I eBook by

Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Rupak Majumdar,Viktor Kunčak

Springer Nature Proceedings Computer Science

Synopsis

Categories

About this book

Language:English
ISBN:9783319633879
Release date:Jul 14, 2017
Publisher:Springer International Publishing

Imprint:Springer
File format:EPUB2
File size:10.55 MB
Download options:EPUB2 (Adobe DRM)

In this series

Computer Aided Verification - eBook by Rupak Majumdar,Viktor Kunčak

Computer Aided Verification

Rupak Majumdar,Viktor Kunčak