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

Gurfinkel, Arie (EDT); Heule, Marjin (EDT)

ISBN 10: 303190642X ISBN 13: 9783031906428
Editore: Springer, 2025
Lingua: Inglese
Condizione: Usato - Come nuovo Brossura

Venduto da GreatBookPrices, Columbia, MD, U.S.A.

Venditore AbeBooks dal 6 aprile 2009

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Come nuovo

Prezzo:
EUR 56,65
Spedizione EUR 2,29
Spedito in U.S.A.

Quantità: 15 disponibili

Aggiungere al carrello