Acheter maintenant et ramasser en magasin

  • Couverture_Computer Aided Verification
Aperçu gratuit du livre Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Alexandra Silva Édition : K. Rustan M. Leino
18 juillet 2021
72,95 $
Prix en ligne. Les prix et les offres peuvent différer en magasin.
.
.    En Savoir Plus
Commande minimum de  1 articles
Vente ferme. Aucun retour ou échange.
La livraison de cet article sera effectuée sur rendez-vous par notre transporteur partenaire.

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 365 points et profitez d’un rabais additionnel avec plum+.  .

Description

Convient aux personnes de
Langue
anglais
Pages
922
Theoretical Computer Science and General Issues
Publié par: Springer Nature
Dimensions à l’expédition: 9" H x 6" W x 1" L
ISBN: 9783030816841
Étape de vie: null

Vous aimerez peut-être aussi

Cotes et évaluations

  • bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
  • CLOUD, getReviews, 4ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Évaluation éditoriale

k rustan m leino

Auteur

D’autres ont aussi acheté

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I 3E0A1E92-2CF8-49B6-84BF-AF716660C733
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
https://dynamic.indigoimages.ca/v1/books/books/3030816842/1.jpg
72.95
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/4000860b-0b9f-4fbc-af85-33cc1a86b490/300/300/False/image.jpg
0.0