Phd Thesis Series Libri

Libri pubblicati nella collana Phd Thesis Series con argomento Informatica Scienza dei calcolatori

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