1.
 |  | Title: Understanding Formal Methods
by Michael G. Hinchey, Jean Francois Monin
ISBN: 1852332476
Publisher: Springer Verlag
Pub. Date: 17 January, 2003
List Price: $64.95
Amazon.com Price: $64.95 |
2.
|  | Title: Functional Programming With Haskell
by Michael G. Hinchey, Steven A. Jarvis
ISBN: 0077093305
Publisher: McGraw-Hill Osborne Media
Pub. Date: June, 2004
List Price: $70.32
Amazon.com Price: $47.82 |
3.
|  | Title: Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology)
by Michael G. Hinchey, Jonathan P. Bowen
ISBN: 1852336404
Publisher: Springer Verlag
Pub. Date: November, 1999
List Price: $104.25
Amazon.com Price: $104.25 |
4.
|  | Title: Formal Approaches to Agent-Based Systems: Second International Workshop, Faabs 2002, Greenbelt, Md, Usa, October 29-31, 2002: Revised Papers (Lecture Notes in Computer Science, 2699.)
by Michael G. Hinchey, James L. Rash, Faabs 200, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears
ISBN: 3540406654
Publisher: Springer Verlag Pub (Computer Bks)
Pub. Date: September, 2003
List Price: $58.00
Amazon.com Price: $58.00 |
5.
|  | Title: Zum '98: The Z Formal Specification Notation (Lecture Notes in Computer Science)
by J.P. Bowen, A. Fettweis, Michael G. Hinchey
ISBN: 3540650709
Publisher: Springer Verlag
Pub. Date: November, 1998
List Price: $82.95
Amazon.com Price: $82.95 |
6.
|  | Title: Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995: Proceedings (Lecture Notes in Computer Science, Vol 967)
by Jonathan P. Bowen, Michael G. Hinchey
ISBN: 3540602712
Publisher: Springer Verlag
Pub. Date: December, 1995
List Price: $109.00
Amazon.com Price: $109.00 |
7.
|  | Title: Concurrent Systems: Formal Development in Csp (The McGraw-Hill International Series in Software Engineering)
by Michael G. Hinchey, Stephen A. Jarvis
ISBN: 0077076494
Publisher: McGraw Hill Text
Pub. Date: September, 1995
List Price: $40.00
Amazon.com Price: $40.00 |
8.
|  | Title: Applications of Formal Methods
by Michael G. Hinchey, J. P. Bowen
ISBN: 0133669491
Publisher: Prentice Hall
Pub. Date: 13 September, 1995
List Price: $71.00
Amazon.com Price: $71.00 |
9.
|  | Title: High-Integrity System Specification and Design
by J. P. Bowen, Michael G. Hinchey
ISBN: 3540762264
Publisher: Springer Verlag
Pub. Date: June, 1999
List Price: $142.00
Amazon.com Price: $142.00 |
