Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of Tacas: Toolympics, Held As Part of Etaps 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings
Beyer, Dirk (EDT); Huisman, Marieke (EDT); Kordon, Fabrice (EDT); Steffen, Bernhard (EDT)
Venduto da GreatBookPrices, Columbia, MD, U.S.A.
Venditore AbeBooks dal 6 aprile 2009
Nuovi - Brossura
Condizione: Nuovo
Quantità: 1 disponibili
Aggiungere al carrello