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

Computer Aided Verification

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

Sharon Shoham,Yakir Vizel

Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783031131851
Fecha de lanzamiento:17 nov 2022
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB3
Tamaño de archivo:37.92 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