Michael Hinchey Phones & Addresses
-
6671 Titanite Pl, Carlsbad, CA 92009 (650) 533-8690
-
1576 Great Hwy, San Francisco, CA 94122
-
357 Upper Ter, San Francisco, CA 94117
-
Fredericksburg, VA
-
Mechanicsville, VA
-
Richmond, VA
-
Highland Springs, VA
-
1576 La Playa St APT 102, San Francisco, CA 94122
Publications
Wikipedia References
Michael Hinchey
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
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. ...