Buy books written by Michael Hinchey Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Michael Hinchey

Michael Hinchey

32 results found
List viewGrid view
Sort By:
1.
Artificial Intelligence and Its Applications
Artificial Intelligence and Its Applications
By: Michael Hinchey, Zeev Zalevsky, Anish Gupta
Publisher: Springer International Publishing AG
No Review Yet
AED360
Binding:
Paperback
Release:
13 Mar 2025
Language:
English
International Edition
Ships within 12-14 Days Explain..
2.
Artificial Intelligence and Its Applications
Artificial Intelligence and Its Applications
By: Michael Hinchey, Zeev Zalevsky, Anish Gupta
Publisher: Springer International Publishing AG
No Review Yet
AED380
Binding:
Paperback
Release:
13 Mar 2025
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
By: Michael Hinchey, James Rash, Roy Sterritt, Walt Truszkowski, Harold Hallock
Publisher: Springer London Ltd
No Review Yet
AED1,113
Binding:
Paperback
Release:
01 Mar 2012
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
By: Michael Hinchey, James Rash, Diana F. Gordon-Spears, Walt Truszkowski, Christopher Rouff
Publisher: Springer London Ltd
No Review Yet
AED759
Binding:
Paperback
Release:
28 Oct 2010
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
By: Michael Hinchey, James Rash, Roy Sterritt, Walt Truszkowski, Harold Hallock
Publisher: Springer London Ltd
No Review Yet
AED1,113
Binding:
Hardback
Release:
09 Dec 2009
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
By: Michael Hinchey, James Rash, Diana F. Gordon-Spears, Walt Truszkowski, Christopher Rouff
Publisher: Springer London Ltd
No Review Yet
AED110
Binding:
Hardback
Release:
26 Oct 2005
Language:
English
Available
Ships within 10-12 Days Explain..
7.
Requirements to Design to Code
Requirements to Design to Code
By: Michael G Hinchey, Nasa Technical Reports Server (Ntrs), et al
Publisher: Bibliogov
No Review Yet
AED67
Binding:
Paperback
Release:
29 Jul 2013
International Edition
Ships within 16-18 Days Explain..
8.
ZUM '95: The Z Formal Specification Notation
ZUM '95: The Z Formal Specification Notation
By: Jonathan P. Bowen, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED512
Binding:
Paperback
Release:
23 Aug 1995
Language:
English
International Edition
Ships within 16-18 Days Explain..
9.
Industrial-Strength Formal Methods in Practice
Industrial-Strength Formal Methods in Practice
By: Jonathan P. Bowen, Michael G. Hinchey
Publisher: Springer London Ltd
No Review Yet
AED402
Binding:
Paperback
Release:
17 Sep 1999
Language:
English
Available
Ships within 10-12 Days Explain..
10.
High-Integrity System Specification and Design
High-Integrity System Specification and Design
By: Jonathan P. Bowen, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
12 Apr 1999
Language:
English
Available
Ships within 14-16 Days Explain..
11.
Formal Methods and Software Engineering
Formal Methods and Software Engineering
By: Maria M. Larrondo-Petrie, Michael Butler, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED269
Binding:
Paperback
Release:
07 Nov 2007
Language:
English
International Edition
Ships within 16-18 Days Explain..
12.
ZUM '98: The Z Formal Specification Notation
ZUM '98: The Z Formal Specification Notation
By: Andreas Fett, Jonathan P. Bowen, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
16 Sep 1998
Language:
English
Available
Ships within 12-14 Days Explain..
13.
ZUM'97: The Z Formal Specification Notation
ZUM'97: The Z Formal Specification Notation
By: David Till, Jonathan P. Bowen, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED269
Binding:
Paperback
Release:
20 Mar 1997
Language:
English
International Edition
Ships within 16-18 Days Explain..
14.
Formal Approaches to Agent-Based Systems
Formal Approaches to Agent-Based Systems
By: James L. Rash, Walter F. Truszkowski, Christopher Rouff, Michael G. Hinchey, Diana Gordon-Spears
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
29 Jul 2003
Language:
English
Available
Ships within 12-14 Days Explain..
15.
Formal Approaches to Agent-Based Systems
Formal Approaches to Agent-Based Systems
By: James L. Rash, Walter F. Truszkowski, Christopher A. Rouff, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED267
Binding:
Paperback
Release:
31 Jan 2005
Language:
English
International Edition
Ships within 16-18 Days Explain..
16.
Formal Approaches to Agent-Based Systems
Formal Approaches to Agent-Based Systems
By: Diana Gordon, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED272
Binding:
Paperback
Release:
10 Oct 2001
Language:
English
International Edition
Ships within 16-18 Days Explain..
17.
Innovative Concepts for Autonomic and Agent-Based Systems
Innovative Concepts for Autonomic and Agent-Based Systems
By: James L. Rash, Patricia Rago, Walt Truszkowski, Christopher A. Rouff, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
21 Dec 2006
Language:
English
Available
Ships within 14-16 Days Explain..
18.
Formal Methods and Software Engineering
Formal Methods and Software Engineering
By: Michael G Hinchey, Maria M Larrondo-Petrie, Michael Butler (University of Birmingham University of Manitoba, Canada University of Manitoba, Canada University of Manitoba, Canada University of Manitoba, Canada University of Manitoba, Canada University of Manitoba, Canada CLARK UNIVERSITY CLARK UNIVE
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
04 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results