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 - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II eBook de

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Alexandra Silva,K. Rustan M. Leino
Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9783030816889
  • Fecha de lanzamiento:23 feb 2022
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB3
  • Tamaño de archivo:74.55 MB
  • Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Saltar esta lista

Language, Logic, and Computation

Alexandra Silva,Sam Staton,Peter Sutton,Carla Umbach

Logic, Language, Information, and Computation

Alexandra Silva,Renata Wassermann,Ruy de Queiroz

Computer Aided Verification

Alexandra Silva,K. Rustan M. Leino