Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings (Lecture Notes in Computer Science)

Kenneth McMillan, Xavier Rival

ISBN 10: 3642540120 ISBN 13: 9783642540127
Editore: Springer 2014-01-22, 2014
Lingua: Inglese
Condizione: Nuovo Brossura

Venduto da Chiron Media, Wallingford, Regno Unito

Venditore AbeBooks dal 2 agosto 2010

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 56,60
EUR 17,76 shipping
Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Aggiungere al carrello