Acheter maintenant et ramasser en magasin

  • Couverture_Tools and Algorithms for the Construction and Analysis of Systems
Aperçu gratuit du livre Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Arie Gurfinkel Édition : Marijn Heule , Marjin Heule
6 juin 2025
72,95 $
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 365 points et profitez d’un rabais additionnel avec plum+.  .

Description

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

Évaluation éditoriale

marijn heule

Auteur

D’autres ont aussi acheté

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I 86F55CEB-CC49-41F4-B9AB-93D6742FE3AC
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
https://dynamic.indigoimages.ca/v1/books/books/303190642X/1.jpg
72.95
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/d7c11dad-c36e-4797-bd8f-6359bc49eaba/300/300/False/image.jpg
0.0