Higher Order Logic and Hardware Verification

Libro 30 di 40: Cambridge Tracts in Theoretical Computer Science

Melham, T. F.|Melham, Thomas F.

ISBN 10: 052141718X ISBN 13: 9780521417181
Editore: Cambridge University Press, 2012
Lingua: Inglese
Condizione: Nuovo Rilegato

Venduto da moluna, Greven, Germania

Venditore AbeBooks dal 9 luglio 2020

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 140,65
Spedizione EUR 48,99
Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungere al carrello