Esta es nuestra librería de México.

Parece que estás en Estados Unidos. Para comprar en nuestra librería de México necesitas una dirección México. Ve a nuestra librería de Estados Unidos para continuar.

Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II eBook de

Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

ebook,ebook,ebook,ebook

Sinopsis

Acerca de este libro

  • Idioma:English
  • ISBN:9783319415406
  • Fecha de lanzamiento:13 jul 2016
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB2
  • Tamaño de archivo:8.40 MB
  • Opciones de descarga:EPUB2 (Adobe DRM)

En esta serie

Computer Aided Verification

Swarat Chaudhuri,Azadeh Farzan