Michael Hinchey

32 results found

Sort By:

Artificial Intelligence and Its Applications

By: Michael Hinchey, Zeev Zalevsky, Anish Gupta

Publisher: Springer International Publishing AG

No Review Yet

AED314

Binding:	Paperback
Release:	13 Mar 2025
Language:	English

Available

Ships within 14-16 Days Explain..

Artificial Intelligence and Its Applications

By: Michael Hinchey, Zeev Zalevsky, Anish Gupta

Publisher: Springer International Publishing AG

No Review Yet

AED337

Binding:	Paperback
Release:	13 Mar 2025
Language:	English

Available

Ships within 14-16 Days Explain..

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

AED673

Binding:	Paperback
Release:	28 Oct 2010
Language:	English

Available

Ships within 14-16 Days Explain..

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

AED987

Binding:	Paperback
Release:	01 Mar 2012
Language:	English

Available

Ships within 14-16 Days Explain..

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

AED108

Binding:	Hardback
Release:	26 Oct 2005
Language:	English

Available

Ships within 10-12 Days Explain..

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

AED987

Binding:	Hardback
Release:	09 Dec 2009
Language:	English

Available

Ships within 14-16 Days Explain..

Requirements to Design to Code

By: Michael G Hinchey, Nasa Technical Reports Server (Ntrs), et al

Publisher: Bibliogov

No Review Yet

AED63

Binding:	Paperback
Release:	29 Jul 2013

International Edition

Ships within 10-12 Days Explain..

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

AED225

Binding:	Paperback
Release:	12 Apr 1999
Language:	English

Available

Ships within 14-16 Days Explain..

Industrial-Strength Formal Methods in Practice

By: Jonathan P. Bowen, Michael G. Hinchey

Publisher: Springer London Ltd

No Review Yet

AED368

Binding:	Paperback
Release:	17 Sep 1999
Language:	English

Available

Ships within 10-12 Days Explain..

10.

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

AED472

Binding:	Paperback
Release:	23 Aug 1995
Language:	English

International Edition

Ships within 10-12 Days Explain..

11.

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

AED256

Binding:	Paperback
Release:	07 Nov 2007
Language:	English

International Edition

Ships within 10-12 Days Explain..

12.

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

AED225

Binding:	Paperback
Release:	16 Sep 1998
Language:	English

Available

Ships within 14-16 Days Explain..

13.

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

AED257

Binding:	Paperback
Release:	20 Mar 1997
Language:	English

International Edition

Ships within 10-12 Days Explain..

14.

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

AED254

Binding:	Paperback
Release:	31 Jan 2005
Language:	English

International Edition

Ships within 10-12 Days Explain..

15.

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

AED225

Binding:	Paperback
Release:	29 Jul 2003
Language:	English

Available

Ships within 14-16 Days Explain..

16.

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

AED225

Binding:	Paperback
Release:	21 Dec 2006
Language:	English

Available

Ships within 14-16 Days Explain..

17.

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

AED260

Binding:	Paperback
Release:	10 Oct 2001
Language:	English

International Edition

Ships within 10-12 Days Explain..

18.

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

AED88

Binding:	Paperback
Release:	04 Sep 2008

Out of Stock

Notify me when this book is in stockNotify Me

Loading more results

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter