Isabelle/HOL: A Proof Assistant for Higher-Order Logic Lecture Notes in Computer Science, Band 2283

Nipkow, Tobias, Lawrence C. Paulson and Markus Wenzel:

ISBN 10: 3540433767 ISBN 13: 9783540433767
Editore: Springer, 2002
Lingua: Inglese
Condizione: Usato - Molto buono Brossura

Venduto da books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania

Venditore AbeBooks dal 18 marzo 2011

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

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Molto buono

Prezzo:
EUR 39,95
Spedizione EUR 9,95
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungere al carrello