- ECU Libraries Catalog

Start Over

You searched for: author_facet Abadi, Martín

Showing 1 - 7 of 7 results

Search Results

Cover image for Trustworthy global computing

Trustworthy global computing

by TGC (Symposium)
2014
Format: Electronic

Location
Access Content Online

Cover image for Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

by Abadi, Martín
2014
Format: Electronic

Location
Access Content Online

Cover image for CONCUR 2005 -- concurrency theory

CONCUR 2005 -- concurrency theory

by International Conference on Concurrency Theory
2005
Format: Electronic

Location
Access Content Online

Cover image for CONCUR 2005 -- concurrency theory

CONCUR 2005 -- concurrency theory

by International Conference on Concurrency Theory
2005
Format: Book

Joyner Library - General Stacks

Call Number: QA76.58 .I53 2005

Cover image for Theoretical aspects of computer software

Theoretical aspects of computer software

by TACS '97
1997
Format: Electronic

Location
Access Content Online

Cover image for Theoretical aspects of computer software

Theoretical aspects of computer software

by TACS '97
1997
Format: Book

Joyner Library - General Stacks

Call Number: QA76.751 .T33 1997

Cover image for A theory of objects

A theory of objects

by Abadi, Martín
1996
Format: Book

Joyner Library - General Stacks

Call Number: QA76.64 .A22 1996