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.

Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings eBook by

Runtime Verification

20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Synopsis

About this book

  • Language:English
  • ISBN:9783030605087
  • Release date:Oct 8, 2020
  • Publisher:Springer International Publishing
  • Imprint:Springer
  • File format:EPUB3
  • File size:52.02 MB
  • Download options:EPUB3 (Adobe DRM)

In this series

NASA Formal Methods

Jyotirmoy Deshmukh,Klaus Havelund,Alessandro Pinto