Klein gerwin edited by gamboa ruben edited by (1 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Klein, Gerwin (Edited by)/ Gamboa, Ruben (Edited by)
Lingua: Inglese
Editore: Springer, 2014
3319089692 / 9783319089690
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 82,95
EUR 14,61 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2014 edition. 570 pages. 9.25x6.10x1.40 inches. In Stock.