![Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III: 13966](https://ik.imagekit.io/ps/tr:h-400,w-400,c-at_max/https%3A%2F%2Fm.media-amazon.com%2Fimages%2FI%2F41zHdDqiiBL._SL500_.jpg?ik-sdk-version=php-1.2.2)
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III: 13966
Springer
Description
Pagine: 520, Edizione: 1st ed. 2023, Copertina flessibile, Springer Per saperne altro
GTIN
9783031377082
Proposto da
Amazon.it
Registra il prodotto
Prodotto registrato
Confronta prodotto
Storico dei prezzi
Prodotti correlati
Seleziona almeno 2 prodotti per il confronto
Mostra confronto