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.

Ir a la librería de Estados UnidosElegir otra librería
Saltar al contenido principal
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II eBook de

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Isil Dillig,Serdar Tasiran
Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9783030255435
  • Fecha de lanzamiento:12 jul 2019
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB3
  • Tamaño de archivo:28.25 MB
  • Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Saltar esta lista

Computer Aided Verification

Isil Dillig,Serdar Tasiran