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 - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II eBook de

Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

ebook,ebook,ebook,ebook

Sinopsis

Acerca de este libro

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

En esta serie

Computer Aided Verification

Rupak Majumdar,Viktor Kunčak