This is our Philippines store.

Looks like you're in United States. You need a Philippines address to shop on our Philippines 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

Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I eBook by

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Isil Dillig,Serdar Tasiran

Springer Nature Proceedings Computer Science

Synopsis

Categories

About this book

Language:English
ISBN:9783030255404
Release date:Feb 23, 2022
Publisher:Springer International Publishing

Imprint:Springer
File format:EPUB3
File size:39.61 MB
Download options:EPUB3 (Adobe DRM)

In this series

Computer Aided Verification - eBook by Isil Dillig,Serdar Tasiran

Computer Aided Verification

Isil Dillig,Serdar Tasiran