Hinchey, Michael books & textbook
Hudson River Valley Farms: The People And The Pride Behind The Produce
Michaels, Joanne Pomerantz, Rich Hinchey, Maurice
Globe Pequot /2009-07-15 Hardcover / 160 Pages
isbn-10: 0762748923 / isbn-13: 9780762748921
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Hinchey, Michael G. Bowen, Jonathan P.
Springer /1999-09-17 Paperback / 416 Pages
isbn-10: 1852336404 / isbn-13: 9781852336400
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science, 1212)
Bowen, Jonathan P. Hinchey, Michael G. Till, David
Springer /1997-03-20 Paperback / 452 Pages
isbn-10: 3540627170 / isbn-13: 9783540627173
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, 967)
Bowen, Jonathan P. Hinchey, Michael G.
Springer /1995-08-23 Paperback / 596 Pages
isbn-10: 3540602712 / isbn-13: 9783540602712
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, 1493)
Bowen, Jonathan P. Fett, Andreas Hinchey, Michael G.
Springer /1998-09-16 Paperback / 440 Pages
isbn-10: 3540650709 / isbn-13: 9783540650706
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, 1871)
Rash, James L. Rouff, Christopher A. Truszkowski, Walter Gordon, Diana Hinchey, Michael G.
Springer /2001-10-10 Paperback / 384 Pages
isbn-10: 3540427163 / isbn-13: 9783540427162
High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT))
Bowen, Jonathan P. Hinchey, Michael G.
Springer /1999-04-12 Paperback / 720 Pages
isbn-10: 3540762264 / isbn-13: 9783540762263
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)
Hinchey, Michael G. Rash, James L. Truszkowski, Walter F. Rouff, Christopher Gordon-Spears, Diana
Springer /2003-07-29 Paperback / 303 Pages
isbn-10: 3540406654 / isbn-13: 9783540406655
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems (NASA Monographs in Systems and Software Engineering)
Truszkowski, Walt Hallock, Harold Rouff, Christopher Karlin, Jay Rash, James Hinchey, Michael Sterritt, Roy
Springer /2012-03-01 Paperback / 306 Pages
isbn-10: 1447125266 / isbn-13: 9781447125266
Teaching and Learning Formal Methods (Library and Information Science)
Dean, C. Neville Hinchey, Michael G.
Academic Press /1996-10-01 Hardcover / 285 Pages
isbn-10: 0123490405 / isbn-13: 9780123490407
