The Calculus of Computation : Decision Procedures with Applications to Verification

Aaron R. Bradley

ISBN 10: 3540741127 ISBN 13: 9783540741121
Editore: Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
Lingua: Inglese
Condizione: Nuovo Rilegato

Venduto da AHA-BUCH GmbH, Einbeck, Germania

Venditore AbeBooks dal 14 agosto 2006

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Nuovi - Rilegato

Condizione: Nuovo

Prezzo:
EUR 80,74
EUR 63,78 shipping
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungere al carrello