Libri di

Bibliografia di : tutti i libri in vendita online editi da Forum Edizioni con argomento Informatica

Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1 libro
LIBRO   9788884201508

Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1 Ciaffaglione Alberto   -  Forum Edizioni, 2003  -  Phd Thesis Series

Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1 - Forum Edizioni

€ 15.00
 
ACQUISTA