Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)

Thery, Laurent, Yves Bertot Andre Hirschowitz u. a.:

ISBN 10: 3540664637 ISBN 13: 9783540664635
Editore: Springer, 2008
Lingua: Inglese
Condizione: Usato - Molto buono Brossura

Venduto da Studibuch, Stuttgart, Germania

Venditore AbeBooks dal 24 aprile 2018

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 6,99
Spedizione EUR 62,30
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello