Esta es nuestra librería de Chile.

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

Elegir otra librería Ir a la librería de Estados Unidos Ir a la librería de Estados Unidos Elegir otra librería

Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II eBook de

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Sharon Shoham,Yakir Vizel

Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783031131882
Fecha de lanzamiento:6 ago 2022
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB3
Tamaño de archivo:43.89 MB
Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Computer Aided Verification - eBook de Sharon Shoham,Yakir Vizel

Computer Aided Verification

Sharon Shoham,Yakir Vizel