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 GreatBookPricesUK, Woodford Green, Regno Unito

Venditore AbeBooks dal 28 gennaio 2020

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 37,98
EUR 17,16 shipping
Ships from Regno Unito to U.S.A.

Quantità: Più di 20 disponibili

Aggiungere al carrello