Michael G. Hinchey

No bio available. Add one in Open Library.

Books by Michael G. Hinchey (50 max)

+ shelf+ list

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

2003

Michael G. Hinchey, James L. Rash, Christopher Rouff

+ shelf+ list

Teaching and Learning Formal Methods (Library and Information Science)

1996

C. Neville Dean, Michael G. Hinchey

+ shelf+ list

ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science)

1998

Jonathan P. Bowen, Michael G. Hinchey

+ shelf+ list

Industrial-Strength Formal Methods in Practice

1999

Michael G. Hinchey

+ shelf+ list

Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes in Computer Science)

2001

James L. Rash, Diana Gordon, Michael G. Hinchey

+ shelf+ list

Innovative Concepts for Autonomic and Agent-Based Systems Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers

2006

Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Walt Truszkowski

+ shelf+ list

ZUM '98 : the Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

2011

Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey