Aperçu gratuit du livre Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
65,95 $
Prix en ligne. Les prix et les offres peuvent différer en magasin.
M’expédier cet article
Vérification des stocks…
Acheter maintenant et ramasser en magasin
Vérification des stocks…
Trouver en magasin
Vérification des stocks…
Obtenez 330 points et profitez d’un rabais additionnel avec plum+. En savoir plus.
Description
Publié par: Springer Nature
Dimensions à l’expédition: 9" H x 6" W x 1" L
ISBN: 9783030532901
Étape de vie: null
Cotes et évaluations
D’autres ont aussi acheté
Les livres numériques d’Indigo sont offerts à Kobo.com.
Il suffit de vous connecter ou de créer un compte Kobo gratuit pour démarrer. Lisez des livres numériques sur n’importe quelle liseuse Kobo ou avec l’application Kobo gratuite.
Pourquoi Kobo?
Avec plus de 6 millions de livres numériques figurant parmi les meilleurs au monde, Kobo vous propose un tout nouveau monde de lecture. Emportez vos lectures et accumulez des points à chaque achat.
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
/fr-ca/computer-aided-verification-32nd-international-conference-cav-2020-los-angeles-ca-usa-july-21-24-2020-proceedings-part-ii/1E319E5C-97D5-4242-BCC0-29C18B7C64F8.html
1E319E5C-97D5-4242-BCC0-29C18B7C64F8
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
https://dynamic.indigoimages.ca/v1/books/books/3030532909/1.jpg
65.95
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/4f6d3e45-70d9-4cce-91d3-e0dc58017bb0/300/300/False/image.jpg
0.0