• Model Checking Software
Aperçu gratuit du livre Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

Édition : Thomas Neele
12 octobre 2024
60,99 $ Réduction sur le prix courant 75,48 $ à
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 305 points et profitez d’un rabais additionnel avec plum+.  .

Description

Publié par: Springer Nature Switzerland
Dimensions à l’expédition: null
ISBN: 9783031661495
É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


Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings 34394B08-CD28-4D2B-B26C-FD9180D86F5D
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
https://dynamic.indigoimages.ca/v1/books/books/3031661486/1.jpg
80.5
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/292f833a-edcc-4bff-a226-53fbfbc7d8d7/300/300/False/image.jpg
75.48