Phd Thesis Series Libri

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

Prossime uscite su INFORMATICA

Libri previsti in uscita su Unilibro.it:

  • 9788856825367 Apriti standard! Interoperabilità e formati aperti per l'innovazione tecnologica
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