Buy books written by Michael G. Hinchey Available at Bookswagon
Michael G. Hinchey

Michael G. HincheyMike Hinchey graduated from the University of Limerick, Ireland summa cum laude with a B.Sc. in Computer Science, and was awarded the Chairman's prize. He earned an M.Sc. in Computation with the Programming Research Group at Oxford University,and a Ph.D. in Computer Science at University of Cambridge, where he has been ICL Research Scholar in Automatic Computing since 1992. He is also a professor in the Real-Time Computing Laboratory in the Department of Computer and Information Science at New Jersey Institute of Technology. He is an Associate Fellow of the Institute of Mathematics, and a member of the ACM, IEEE,American Mathematical Society, the New York Academy of Sciences, and also of St. John's College (University of Cambridge) and Wolfson College (University of Oxford). Read More Read Less

24 results found
List viewGrid view
Sort By:
1.
ZUM '95: The Z Formal Specification Notation
No Review Yet
AED500
Binding:
Paperback
Release:
23 Aug 1995
Language:
English
International Edition
Ships within 18-20 Days Explain..
2.
High-Integrity System Specification and Design
No Review Yet
AED231
Binding:
Paperback
Release:
12 Apr 1999
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Industrial-Strength Formal Methods in Practice
No Review Yet
AED368
Binding:
Paperback
Release:
17 Sep 1999
Language:
English
Available
Ships within 10-12 Days Explain..
4.
Formal Methods and Software Engineering
International Edition
Ships within 18-20 Days Explain..
5.
ZUM '98: The Z Formal Specification Notation
Available
Ships within 14-16 Days Explain..
6.
ZUM'97: The Z Formal Specification Notation
International Edition
Ships within 18-20 Days Explain..
7.
Formal Approaches to Agent-Based Systems
Available
Ships within 14-16 Days Explain..
8.
Formal Approaches to Agent-Based Systems
International Edition
Ships within 18-20 Days Explain..
9.
Formal Approaches to Agent-Based Systems
International Edition
Ships within 18-20 Days Explain..
10.
Innovative Concepts for Autonomic and Agent-Based Systems
Available
Ships within 14-16 Days Explain..
12.
Formal Approaches to Agent-Based Systems
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
04 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
13.
Formal Approaches to Agent-Based Systems
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
14.
Zum '95
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
12 Sep 2014
Out of Stock
Notify me when this book is in stockNotify Me
15.
Zum '95: The Z Formal Specification Notation
Publisher: Springer
No Review Yet
AED381
Binding:
Digital (delivered electronically)
Release:
01 Sep 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
High-Integrity System Specification and Design
Publisher: Springer
No Review Yet
AED60
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
17.
Teaching and Learning Formal Methods
No Review Yet
AED37
Binding:
Digital (delivered electronically)
Release:
01 Sep 1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
18.
Requirements to Design to Code
Publisher: Bibliogov
No Review Yet
AED55
Binding:
Paperback
Release:
29 Jul 2013
Out of Stock
Notify me when this book is in stockNotify Me
19.
Formal Approaches to Agent-Based Systems
No Review Yet
AED120
Binding:
Digital (delivered electronically)
Release:
/12/2005
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results