Meseguer, Jose. - 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 Meseguer, Jose.

Showing 1 - 10 of 13 results

Search Results

Cover image for Concurrent Programming, Open Systems and Formal Methods

Concurrent Programming, Open Systems and Formal Methods

2026
Format: Electronic

Location
Access Content Online

Cover image for Concurrent Programming, Open Systems and Formal Methods Essays Dedicated to Gul Agha to Celebrate His Scientific Career

Concurrent Programming, Open Systems and Formal Methods Essays Dedicated to Gul Agha to Celebrate His Scientific Career

by Meseguer, Jose
2026
1st ed. 2026
Format: Electronic

Location
Access Content Online

Cover image for Algebraic methodology and software technology

Algebraic methodology and software technology

by International Conference on Algebraic Methodology and Software Technology
2008
Format: Electronic

Location
Access Content Online

Cover image for Concurrency, Graphs and Models

Concurrency, Graphs and Models

2008
Format: Electronic

Location
Access Content Online

Cover image for Formal modeling

Formal modeling

2011
Format: Electronic

Location
Access Content Online

Cover image for Algebra, meaning, and computation

Algebra, meaning, and computation

2006
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA150 .A45 2006	✔ Available

Cover image for Algebra, meaning, and computation

Algebra, meaning, and computation

2006
Format: Electronic

Location
Access Content Online

Cover image for All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework

by Clavel, Manuel
2007
Format: Electronic

Location
Access Content Online

Cover image for Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

by Iida, Shusaku
2014
Format: Electronic

Location
Access Content Online

Cover image for Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

by Guttman, Joshua D.
2019
Format: Electronic

Location
Access Content Online