Search Results

You searched for: author Coppo, Mario, 1947- Remove constraint

Search Results

Cover image for Types for proofs and programs

Types for proofs and programs

Location
Access Content Online
Cover image for Types for proofs and programs

Types for proofs and programs

Location Call # Status
Joyner - General Stacks QA76.9.A96 T96 1995 ✔ Available
Cover image for Gateway to the promised land

Gateway to the promised land

Location Call # Status
Joyner - General Stacks F128.9.A1 M34 1995 ✔ Available
Joyner - General Stacks F128.9.A1 M34 1995 ✔ Available
Cover image for Types for proofs and programs

Types for proofs and programs

Location
Access Content Online
Cover image for Types for proofs and programs

Types for proofs and programs

Location
Access Content Online
Cover image for Theoretical computer science

Theoretical computer science

Location Call # Status
Joyner - General Stacks QA75.5 .I28 2005 ✔ Available
Cover image for El esplendor de la pirámide

El esplendor de la pirámide

Location Call # Status
Joyner - General Stacks PQ7499.2.M67 E8X 1985 ✔ Available
Cover image for Rage and time

Rage and time

Location Call # Status
Joyner - General Stacks BF575.A5 S5613 2010 ✔ Available
Cover image for Open systems dependability

Open systems dependability

Location
Access Content Online