Name: Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (en Inglés)
SKU: 57682512
Price: 830.08 MXN
Availability: InStock
Author: Enea, Constantin ; Lal, Akash
ISBN: 9783031377020

portada Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (en Inglés)

Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Enea, Constantin ; Lal, Akash

Idioma

Inglés

N° páginas

460

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x2.5 cm

Peso

0.67 kg.

ISBN13

9783031377020

Categorías

Algoritmos y estructuras de datos
Inteligencia artificial

Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (en Inglés)

Enea, Constantin ; Lal, Akash (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 25 a 30 días háb.

$ 1,660.17$ 830.08

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 830.08

¡Envío Gratis! Llega entre el 07 Oct y el 15 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (en Inglés)"

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.