Acheter maintenant et ramasser en magasin

  • Computer Aided Verification
Aperçu gratuit du livre Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Édition : Arie Gurfinkel
25 août 2024
0,00 $
Prix en ligne. Les prix et les offres peuvent différer en magasin.
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 null points et profitez d’un rabais additionnel avec plum+.  .

Description

Publié par: Springer Nature Switzerland
Dimensions à l’expédition: null
ISBN: 9783031656309
Étape de vie: null

Cotes et évaluations

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

Évaluation éditoriale


Auteur


Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II 321BFCB7-F441-43C4-8AD1-F293F8F17A28
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
https://dynamic.indigoimages.ca/v1/books/books/3031656296/1.jpg
72.95
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/b67a2ef0-c4cd-456e-b347-3c1794117204/300/300/False/image.jpg
0.0