Types for proofs and programs : revised selected papers / International Workshop, TYPES 2003; ed. Stefano Berardi, Mario Coppo, Ferruccio Damiani
Corporate Author (Main)
International Workshop TYPES 2003, Torino, 2003
Secondary Author
Berardi, Stefano
Coppo, Mario
Damiani, Ferruccio
Country
Alemanha.
Publication
Berlin : Springer, cop. 2004
Description
X, 408 p. ;
24 cm
Series
Lecture notes in computer science , 3085 , 0302-9743
ISBN
3-540-22164-6
CDU
519.6
There are no comments for this item.