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 - 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I eBook by

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Sharon Shoham,Yakir Vizel

Springer Nature Proceedings Computer Science

Synopsis

Categories

About this book

Language:English
ISBN:9783031131851
Release date:Nov 17, 2022
Publisher:Springer International Publishing

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

In this series

Computer Aided Verification - eBook by Sharon Shoham,Yakir Vizel

Computer Aided Verification

Sharon Shoham,Yakir Vizel