Constantin Enea
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I - Lecture Notes in Computer Science Constantin Enea 1st ed. 2023 edition

Name: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I - Lecture Notes in Computer Science
Price: 45.49 USD
Availability: OutOfStock
Author: Constantin Enea

Precio

$ 45,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I - Lecture Notes in Computer Science

Constantin Enea

1st ed. 2023 edition

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.

488 pages, 121 Illustrations, color; 39 Illustrations, black and white; XXXI, 488 p. 160 illus., 121

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	17 de julio de 2023
ISBN13	9783031377051
Editores	Springer International Publishing AG
Páginas	488
Dimensiones	150 × 220 × 10 mm · 721 g
Lengua	Inglés
Editor	Enea, Constantin
Editor	Lal, Akash