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.

Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II eBook by

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Synopsis

About this book

  • Language:English
  • ISBN:9783031656309
  • Release date:Jul 25, 2024
  • Publisher:Springer Nature Switzerland
  • Imprint:Springer
  • File format:EPUB3
  • File size:32.19 MB
  • Download options:EPUB3 (Adobe DRM)