- 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 Corradini, Flavio

Showing 1 - 5 of 5 results

Search Results

Cover image for Society 5.0

Society 5.0

by Corradini, Flavio
2026
1st ed.
Format: Electronic

Location
Access Content Online

Cover image for Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

by Boreale, Michele
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for the design of real-time systems

Formal methods for the design of real-time systems

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems
2004
Format: Electronic

Location
Access Content Online

Cover image for A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

by Aldini, Alessandro
2009
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for the design of real-time systems

Formal methods for the design of real-time systems

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems
2004
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.54 .I575 2004	✔ Available