Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers, : electronic bk

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers, : electronic bk

edited by Marino Miculan, Ivan Scagnetto, Furio Honsell

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008

E-book

Send by email

Address

Subject

Volume No.

: electronic bk
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • Springer e-book

Send by email

Address

Subject

Edit bookmark

Select list

Memo

Select list

Add to bookmark

Select list

Not specified

Memo