Toggle navigation
About
Libraries
Help
Z39.50 Checker
Signup
Login
Add Library
Home
/
Libraries
/
Hinchey, Michael G.
Author
Hinchey, Michael G.
Catalogue records by Hinchey, Michael G. in the PakCat Union Catalogue.
2 catalogue records
Catalogue records
Agent technology from a formal perspective
Christopher A. Rouff with Michael Hinchey
2006
Understanding formal methods
Monin, Jean Fran�cois
2003