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: 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


Nuovi - Brossura

Condizione: Nuovo

Prezzo:
EUR 66,72
Spedizione EUR 2,29
Spedito in U.S.A.

Quantità: 15 disponibili

Aggiungere al carrello