Acheter maintenant et ramasser en magasin

  • Couverture_Introducing Software Verification With Dafny Language
Aperçu gratuit du livre Introducing Software Verification With Dafny Language: Proving Program Correctness

Introducing Software Verification With Dafny Language: Proving Program Correctness

Boro Sitnikovski
1 mars 2022
48,50 $
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 243 points et profitez d’un rabais additionnel avec plum+.  .

Description

Convient aux personnes de
Langue
anglais
Pages
131
Publié par: APRESS PUBLISHERS
Dimensions à l’expédition: 9" H x 6" W x 1" L
ISBN: 9781484279779
É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, 6ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Introducing Software Verification With Dafny Language: Proving Program Correctness 1DED9D95-8EE2-4ACF-9D28-9BF06154859F
Introducing Software Verification With Dafny Language: Proving Program Correctness
https://dynamic.indigoimages.ca/v1/books/books/1484279778/1.jpg
48.5
Introducing Software Verification with Dafny Language: Proving Program Correctness
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/103f18ff-b0ab-4f2f-ac0a-0a6fdc2efa50/300/300/False/image.jpg
49.11