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 - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I eBook de

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler,Georg Weissenbacher

Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783319961453
Fecha de lanzamiento:24 feb 2022
Editorial:Springer International Publishing

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

En esta serie

Computer Aided Verification - eBook de Hana Chockler,Georg Weissenbacher

Computer Aided Verification

Hana Chockler,Georg Weissenbacher