Forum Edizioni Libri

Libri editi da Forum Edizioni Scienza dei calcolatori

Computing in non standard set theories. Vol. 3 libro
libro

Computing in non standard set theories. Vol. 3

Piazza Carla
Forum Edizioni , 2002
Phd Thesis Series
€ 15.00
 
ACQUISTA
Reasoning about names in higher-order abstract syntax. Vol. 4 libro
libro

Reasoning about names in higher-order abstract syntax. Vol. 4

Scagnetto Ivan
Forum Edizioni , 2002
Phd Thesis Series
€ 15.00
 
ACQUISTA
Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1 libro
libro

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

Ciaffaglione Alberto
Forum Edizioni , 2003
Phd Thesis Series
€ 15.00
 
ACQUISTA
Dividing and conquering the layered land. Vol. 2 libro
libro

Dividing and conquering the layered land. Vol. 2

Franceschet Massimo
Forum Edizioni , 2002
Phd Thesis Series
€ 15.00
 
ACQUISTA
On the complexity of optimal reduction of functional programming language. Vol. 1 libro
libro

On the complexity of optimal reduction of functional programming language. Vol. 1

Coppola Paolo
Forum Edizioni , 2002
Phd Thesis Series
€ 15.00
 
ACQUISTA