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 I eBook de

Computer Aided Verification

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

ebook,ebook,ebook,ebook

Sinopsis

Acerca de este libro

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

En esta serie

Computer Aided Verification

Daniel Kroening,Corina S. Păsăreanu