Acheter maintenant et ramasser en magasin

  • Couverture_Deductive Software Verification
Aperçu gratuit du livre Deductive Software Verification: Future Perspectives: Reflections On The Occasion Of 20 Years Of Key

Deductive Software Verification: Future Perspectives: Reflections On The Occasion Of 20 Years Of Key

9 décembre 2020
80,50 $
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 403 points et profitez d’un rabais additionnel avec plum+.  .

Description

Publié par: Springer Nature
Dimensions à l’expédition: 9" H x 6" W x 1" L
ISBN: 9783030643539
É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


Deductive Software Verification: Future Perspectives: Reflections On The Occasion Of 20 Years Of Key 64D044E0-6A9A-485C-BDF6-70E47B7D2524
Deductive Software Verification: Future Perspectives: Reflections On The Occasion Of 20 Years Of Key
https://dynamic.indigoimages.ca/v1/books/books/3030643530/1.jpg
80.5
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/bbb6cf23-a54a-4942-b959-d4ee319e389a/300/300/False/image.jpg
75.48