Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Bartocci, Ezio (Edited by)/ Ramakrishnan, C. R. (Edited by)

ISBN 10: 3642391753 ISBN 13: 9783642391750
Editore: Springer, 2013
Lingua: Inglese
Condizione: Nuovo Brossura

Venduto da Revaluation Books, Exeter, Regno Unito

Venditore AbeBooks dal 6 gennaio 2003

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 80,00
EUR 14,21 shipping
Ships from Regno Unito to U.S.A.

Quantità: 2 disponibili

Aggiungere al carrello