Acheter maintenant et ramasser en magasin

  • Critical Systems: Formal Methods and Automated Verification
Aperçu gratuit du livre Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Édition : Maurice H. ter Beek
21 octobre 2016
60,99 $ Réduction sur le prix courant 75,07 $ à
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…

Acheter le livre numérique
Obtenez null points et profitez d’un rabais additionnel avec plum+.  .

Description

Convient aux personnes de
Langue
anglais
Pages
Programming and Software Engineering
Publié par: Springer International Publishing
Dimensions à l’expédition: null
ISBN: 9783319459431
É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

maurice h ter beek

Auteur

D’autres ont aussi acheté

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2 AB8D923B-7C2C-490E-A724-B8F08D3786B1
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2
https://dynamic.indigoimages.ca/v1/books/books/3319459422/1.jpg
80.5
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/085e3716-38c7-4c5c-99fb-82571136b7b7/300/300/False/image.jpg
75.07