Michael Hinchey Phones & Addresses
-
Tustin, CA
-
7770 Ramona Dr, Navarre, FL 32566
-
10 Bowie Pl, Irvine, CA 92602 (714) 734-7750
-
702 Mohawk Dr, Santa Ana, CA 92704
-
16815 Mount Fletcher Cir, Fountain Valley, CA 92708
-
Fort Walton Beach, FL
-
Orange, CA
Publications
Isbn (Books And Publications)
Concurrent Systems: Formal Development in CSP
View page
Author
Michael G. Hinchey
ISBN #
0077076494
Functional Programming With Haskell
View page
Author
Michael G. Hinchey
ISBN #
0077093305
Teaching and Learning Formal Methods
View page
Author
Michael G. Hinchey
ISBN #
0123490405
Applications of Formal Methods
View page
Author
Michael G. Hinchey
ISBN #
0133669491
Formal Approaches to Agent-based Systems: Third International Workshop, Faabs 2004, Greenbelt, Md, April 26-27, 2004, Revised Selected Papers
View page
Author
Michael G. Hinchey
ISBN #
3540244220
Formal Approaches to Agent-Based Systems: Second International Workshop, Faabs 2002, Greenbelt, Md, Usa, October 29-31, 2002 Revised Papers
View page
Author
Michael G. Hinchey
ISBN #
3540406654
Zum '95: The Z Formal Specification Notation 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings
View page
Author
Michael G. Hinchey
ISBN #
3540602712
Zum '97: The Z Formal Specification Notation
View page
Author
Michael G. Hinchey
ISBN #
3540627170
Wikipedia References
Michael Hinchey
Wikipedia
Michael Hinchey
View pageMichael G. Hinchey is an Irish computer scientist and Director at the Irish Software Engineering Research Centre (Lero), University of Limerick, Ireland. ...