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.

Ir a la librería de Estados UnidosElegir otra librería
Saltar al contenido principal
Lista de deseos
Cesta
Crear cuenta
¿Tienes cuenta?Iniciar sesión
Computer Aided Verification - 38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II eBook de

Computer Aided Verification

38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

Eva Darulova,Anthony W. Lin,Philipp Rümmer
Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9783032325266
  • Fecha de lanzamiento:23 jul 2026
  • Editorial:Springer Nature Switzerland
  • Edición:Springer
  • Formato de archivo:EPUB3
  • Tamaño de archivo:64.14 MB
  • Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Saltar esta lista

Computer Aided Verification

Eva Darulova,Anthony W. Lin,Philipp Rümmer

Computer Aided Verification

Eva Darulova,Anthony W. Lin,Philipp Rümmer