Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27?April 1, 2021, Proceedings

Groote, Jan Friso (EDT); Larsen, Kim Guldstrand (EDT)

ISBN 10: 3030720152 ISBN 13: 9783030720155
Editore: Springer, 2021
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 49,05
EUR 2,24 shipping
Spedito in U.S.A.

Quantità: Più di 20 disponibili

Aggiungere al carrello