Author

Michael G. Hinchey

born 1969 5 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

5 books
Concurrent systems

Concurrent systems

1995
Agent technology from a formal perspective

Agent technology from a formal perspective

Year unknown
Applications of formal methods

Applications of formal methods

Year unknown Michael G. Hinchey and J. P. Bowen
High-integrity system specification and design

High-integrity system specification and design

Year unknown J. P. Bowen and Michael G. Hinchey
Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

Year unknown Michael G. Hinchey and J. P. Bowen

Fetched from OpenLibrary. Some translations may appear as separate works.