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 II
Marijn Heule
Vendu par AHA-BUCH GmbH, Einbeck, Allemagne
Vendeur AbeBooks depuis 14 août 2006
Neuf(s) - Couverture souple
Etat : Neu
Quantité disponible : 1 disponible(s)
Ajouter au panier