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 - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III eBook de

Computer Aided Verification

37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

Ruzica Piskac,Zvonimir Rakamarić
Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

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

En esta serie

Saltar esta lista

Computer Aided Verification

Ruzica Piskac,Zvonimir Rakamarić

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac,Philipp Rümmer

Computer Aided Verification

Ruzica Piskac,Zvonimir Rakamarić

Computer Aided Verification

Ruzica Piskac,Zvonimir Rakamarić