- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Mosses, Peter

Showing 1 - 9 of 9 results

Search Results

Cover image for Action semantics

Action semantics

by Mosses, Peter
1992
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.7 .M68 1992	✔ Available

Cover image for Recent trends in algebraic development techniques

Recent trends in algebraic development techniques

by WADT 2004
2005
Format: Electronic

Location
Access Content Online

Cover image for Recent trends in algebraic development techniques

Recent trends in algebraic development techniques

by WADT '99
2000
Format: Electronic

Location
Access Content Online

Cover image for Recent trends in algebraic development techniques

Recent trends in algebraic development techniques

by WADT 2004
2005
Format: Electronic

Location
Access Content Online

Cover image for TAPSOFT '95

TAPSOFT '95

by International Joint Conference on Theory and Practice of Software Development
1995
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.D47 I58 1995	✔ Available

Cover image for CASL reference manual

CASL reference manual

2004
Format: Electronic

Location
Access Content Online

Cover image for CASL user manual

CASL user manual

by Bidoit, M., 1957-
2004
Format: Electronic

Location
Access Content Online

Cover image for TAPSOFT '95

TAPSOFT '95

by International Joint Conference on Theory and Practice of Software Development
1995
Format: Electronic

Location
Access Content Online

Cover image for Recent trends in algebraic development techniques

Recent trends in algebraic development techniques

by WADT '99
2000
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.D47 W33 1999	✔ Available