Reading Length
Home
Speed Tests
Login
Michael G. Hinchey
Identifiers
Open Library
OL7562989A
Top Subjects
Software engineering (1)
Intelligent agents (computer software) (1)
Books by Michael G. Hinchey
Total count: 6
Teaching and Learning Formal Methods
Elsevier Science & Technology Books
1996-01-01
Industrial-Strength Formal Methods in Practice
Springer London
1999-01-01
Formal Approaches to Agent-Based Systems
First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
Springer
2003-01-01
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
Springer London, Limited
2006-01-01
Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Springer London, Limited
2007-01-01
ZUM '98 : the Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Springer London, Limited
2011-01-01
