close menu
Bookswagon-24x7 online bookstore
close menu
My Account
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

19 results found
List viewGrid view
Sort By:
1.
Industrial-Strength Formal Methods in Practice
No Review Yet
₹7,391
Binding:
Paperback
Release:
17 Sep 1999
Language:
English
Available
Ships within 4-6 Days Explain..
2.
Teaching and Learning Formal Methods
No Review Yet
₹4,636
Binding:
Hardback
Release:
06 Sep 1996
Language:
English
Available
Ships within 4-6 Days Explain..
3.
High-Integrity System Specification and Design
No Review Yet
₹2,632
Binding:
Paperback
Release:
12 Apr 1999
Language:
English
Available
Ships within 4-6 Days Explain..
4.
ZUM '98: The Z Formal Specification Notation36 %
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
16 Sep 1998
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Formal Approaches to Agent-Based Systems36 %
Available
Ships within 12-14 Days Explain..
13.
Formal Approaches to Agent-Based Systems
No Review Yet
₹5,437
Binding:
Digital (delivered electronically)
Release:
/12/2005
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
Formal Approaches to Agent-Based Systems
Publisher: Springer New York
No Review Yet
₹5,012
Binding:
Digital (delivered electronically)
Release:
01 Sep 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Formal Approaches to Agent-Based Systems
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
04 Sep 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Teaching and Learning Formal Methods
No Review Yet
₹10,204
Binding:
Digital (delivered electronically)
Release:
01 Sep 1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
17.
Zum '95: The Z Formal Specification Notation
Publisher: Springer
No Review Yet
₹8,757
Binding:
Digital (delivered electronically)
Release:
01 Sep 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
18.
Concurrent Systems22 %
No Review Yet
₹3,092
₹2,412
Binding:
Paperback
Release:
10 Feb 1995
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
19.
Innovative Concepts for Autonomic and Agent-Based Systems
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
05 Sep 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA