Michael G. Hinchey
Michael G. Hinchey
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFM
Formal Methods and Software Engineering
cover - Image source: Open LibraryFA
Formal approaches to agent-based systems
cover - Image source: Open LibraryFA
Formal approaches to agent-based systems
cover - Image source: Open LibraryIF
Industrial-Strength Formal Methods in Practice
cover - Image source: Open LibraryZ'
The Z formal specification notation
cover - Image source: Open LibraryTA
Teaching and Learning Formal Methods
cover - ICInnovative Concepts for Autonom...Michael G. Hinchey
Innovative Concepts for Autonomic and Agent-Based Systems
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Formal Methods and Software Engineering
- Open Work
Formal approaches to agent-based systems
- Open Work
Formal approaches to agent-based systems
- Open Work
Industrial-Strength Formal Methods in Practice
- Open Work
The Z formal specification notation
- Open Work
Teaching and Learning Formal Methods
- Open Work
Innovative Concepts for Autonomic and Agent-Based Systems