Interactive Theorem Proving and Program Development

Name: Interactive Theorem Proving and Program Development
Price: 117,03 EUR
Author: AAVV
ISBN: 9783642058806

Editorial: Springer

EAN: 9783642058806

117,03 €

ENVIAMENT GRATUÏT*

Sense existències ara

Rep-lo a casa en una setmana per Missatger o Eco Enviament* Pots recollir-lo en una setmana a les nostres llibreries

Matèries

Els llibres més venuts

Pacheco, Anna

11,90 €

Cercas, Javier

23,90 €

Ford, Richard

Sé mía

21,90 €

Vila-Matas, Enrique

19,90 €

Mendoza, Eduardo

21,90 €

Lebda, Malgorzata

Insaciable

19,90 €

Murakami, Haruki

22,90 €

Esquirol, Josep Maria

16,00 €

Mesa, Sara

Oposición

18,90 €

Sands, Philippe

23,90 €