AboutSign inJoin

Michael G. Hinchey

About

Some information is missing for this author.

Books

Formal Approaches to Agent-Based Systems
Formal Approaches to Agent-Based Systems
James L. Rash, Michael G. Hinchey, Christopher Rouff, Walter F. Truszkowski, Diana Gordon-Spears
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Michael G. Hinchey, Michael Butler, Maria M. Larrondo-Petrie
Formal Approaches to Agent-Based Systems
Formal Approaches to Agent-Based Systems
James L. Rash, Christopher A. Rouff, Michael G. Hinchey, Diana Gordon, Walter Truszkowski
ZUM'97: The Z Formal Specification Notation
ZUM'97: The Z Formal Specification Notation
Michael G. Hinchey, G. Goos, Jonathan P. Bowen, J. Hartmanis, Jan Van Leeuwen, David Till
High-Integrity System Specification and Design
High-Integrity System Specification and Design
Michael G. Hinchey, Jonathan P. Bowen
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Michael G. Hinchey, Michael Butler, Maria M. Larrondo-Petrie
Industrial-Strength Formal Methods in Practice
Industrial-Strength Formal Methods in Practice
Michael G. Hinchey, Jonathan P. Bowen
Innovative Concepts for Autonomic and Agent-Based Systems
Innovative Concepts for Autonomic and Agent-Based Systems
James L. Rash, Walt Truszkowski, Christopher A. Rouff, Michael G. Hinchey, Patricia Rago

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian