The Calculus of Computation. Decision Procedures with Applications to Verification. Bln., Springer (2007). gr.8°. XV, 366 p. Harbound. With exercises.- Like new.
BRADLEY, Aaron R. & Zohar MANNA
Da Antiquariat Renner OHG, Albstadt, Germania
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 4 giugno 2003
Membro dell'associazione:
Usato -
Prezzo:
EUR 28,00
Convertire valuta
EUR 20,00
per la spedizione da Germania a U.S.A.
Destinazione, tempi e costi
Quantità: 1 disponibili
Aggiungere al carrello
