Acheter maintenant et ramasser en magasin

  • Couverture_Guide to Software Verification with Frama-C
Aperçu gratuit du livre Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Nikolai Kosmatov Édition : Virgile Prevosto , Julien Signoles
10 juillet 2024
102,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 513 points et profitez d’un rabais additionnel avec plum+.  .

Description

Convient aux personnes de
Langue
anglais
Pages
697
Computer Science Foundations and Applied Logic
Publié par: Springer Nature
Dimensions à l’expédition: 9" H x 6" W x 1" L
ISBN: 9783031556074
É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, 5ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Évaluation éditoriale

virgile prevosto

Auteur

D’autres ont aussi acheté

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications 06CFF5FE-EC54-4DE7-912F-63568D6F7159
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
https://dynamic.indigoimages.ca/v1/books/books/3031556070/1.jpg
102.5
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/ab36bde7-894a-47f2-ab31-c821c11c8caf/300/300/False/image.jpg
97.6