Esta es nuestra librería de México.

Parece que estás en Estados Unidos. Para comprar en nuestra librería de México necesitas una dirección México. 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
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I eBook de

Computer Aided Verification

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

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

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9783030816858
  • Fecha de lanzamiento:17 jul 2021
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB3
  • Tamaño de archivo:74.04 MB
  • Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Saltar esta lista

Computer Aided Verification

Alexandra Silva,K. Rustan M. Leino

Logic, Language, Information, and Computation

Alexandra Silva,Renata Wassermann,Ruy de Queiroz

Language, Logic, and Computation

Alexandra Silva,Sam Staton,Peter Sutton,Carla Umbach