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 - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II eBook de

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

ebook,ebook,ebook,ebook

Sinopsis

Acerca de este libro

  • Idioma:English
  • ISBN:9783319216683
  • Fecha de lanzamiento:14 jul 2015
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB2
  • Tamaño de archivo:7.90 MB
  • Opciones de descarga:EPUB2 (Adobe DRM)

En esta serie

Computer Aided Verification

Daniel Kroening,Corina S. Păsăreanu