Buy books written by Michael G Hinchey Available at Bookswagon
  • Cart Icon
    • 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 G Hinchey

    Michael G Hinchey

    24 results found
    List viewGrid view
    Sort By:
    1.
    Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    By: Michael G. Hinchey, Michael Butler, Maria M. Larrondo-Petrie
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED358
    Binding:
    Paperback
    Release:
    07 Nov 2007
    Language:
    English
    International Edition
    Ships within 14-16 Days Explain..
    2.
    High-Integrity System Specification and Design
    High-Integrity System Specification and Design
    By: Michael G. Hinchey, Jonathan P. Bowen
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED263
    Binding:
    Paperback
    Release:
    12 Apr 1999
    Language:
    English
    International Edition
    Ships within 14-16 Days Explain..
    3.
    Industrial-Strength Formal Methods in Practice
    Industrial-Strength Formal Methods in Practice
    By: Michael G. Hinchey, Jonathan P. Bowen
    Publisher: Springer London Ltd
    No Review Yet
    AED692
    Binding:
    Paperback
    Release:
    17 Sep 1999
    Language:
    English
    International Edition
    Ships within 14-16 Days Explain..
    4.
    ZUM '95: The Z Formal Specification Notation
    ZUM '95: The Z Formal Specification Notation
    By: Michael G. Hinchey, Jonathan P. Bowen
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED488
    Binding:
    Paperback
    Release:
    23 Aug 1995
    Language:
    English
    International Edition
    Ships within 14-16 Days Explain..
    5.
    ZUM'97: The Z Formal Specification Notation
    ZUM'97: The Z Formal Specification Notation
    By: Michael G. Hinchey, Jonathan P. Bowen, David Till
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED256
    Binding:
    Paperback
    Release:
    20 Mar 1997
    Language:
    English
    International Edition
    Ships within 14-16 Days Explain..
    6.
    ZUM '98: The Z Formal Specification Notation
    ZUM '98: The Z Formal Specification Notation
    By: Michael G. Hinchey, Jonathan P. Bowen, Andreas Fett
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED256
    Binding:
    Paperback
    Release:
    16 Sep 1998
    Language:
    English
    International Edition
    Ships within 14-16 Days Explain..
    7.
    Formal Approaches to Agent-Based Systems
    Formal Approaches to Agent-Based Systems
    By: James L. Rash, Michael G. Hinchey, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED255
    Binding:
    Paperback
    Release:
    29 Jul 2003
    Language:
    English
    International Edition
    Ships within 14-16 Days Explain..
    8.
    Innovative Concepts for Autonomic and Agent-Based Systems
    Innovative Concepts for Autonomic and Agent-Based Systems
    By: Christopher A. Rouff, James L. Rash, Michael G. Hinchey, Patricia Rago, Walt Truszkowski
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED256
    Binding:
    Paperback
    Release:
    21 Dec 2006
    Language:
    English
    International Edition
    Ships within 14-16 Days Explain..
    9.
    Formal Approaches to Agent-Based Systems
    Formal Approaches to Agent-Based Systems
    By: Christopher A. Rouff, James L. Rash, Michael G. Hinchey, Walter F. Truszkowski
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED255
    Binding:
    Paperback
    Release:
    31 Jan 2005
    Language:
    English
    International Edition
    Ships within 14-16 Days Explain..
    10.
    Formal Approaches to Agent-Based Systems
    Formal Approaches to Agent-Based Systems
    By: Christopher A. Rouff, James L. Rash, Michael G. Hinchey, Diana Gordon, Walter Truszkowski
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED257
    Binding:
    Paperback
    Release:
    10 Oct 2001
    Language:
    English
    International Edition
    Ships within 14-16 Days Explain..
    11.
    Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    By: Michael G Hinchey, 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, Maria M Larrondo-Petrie
    Publisher: Springer
    No Review Yet
    AED105
    Binding:
    Paperback
    Release:
    04 Sep 2008
    Out of Stock
    Notify me when this book is in stockNotify Me
    12.
    Zum '95
    Zum '95
    By: Michael G Hinchey, Jonathan P Bowen
    Publisher: Springer
    No Review Yet
    AED105
    Binding:
    Paperback
    Release:
    12 Sep 2014
    Out of Stock
    Notify me when this book is in stockNotify Me
    13.
    High-Integrity System Specification and Design
    High-Integrity System Specification and Design
    By: Michael G Hinchey, Jonathan P Bowen
    Publisher: Springer
    No Review Yet
    AED66
    Binding:
    Paperback
    Release:
    15 Jan 2014
    Out of Stock
    Notify me when this book is in stockNotify Me
    14.
    Formal Approaches to Agent-Based Systems
    Formal Approaches to Agent-Based Systems
    By: Michael G Hinchey
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED131
    Binding:
    Digital (delivered electronically)
    Release:
    /12/2005
    Language:
    English
    Out of Stock
    Notify me when this book is in stockNotify Me
    15.
    Formal Approaches to Agent-Based Systems
    Formal Approaches to Agent-Based Systems
    By: Michael G Hinchey, James L Rash, Walter F Truszkowski
    Publisher: Springer
    No Review Yet
    AED105
    Binding:
    Paperback
    Release:
    04 Sep 2008
    Out of Stock
    Notify me when this book is in stockNotify Me
    16.
    Formal Approaches to Agent-Based Systems
    Formal Approaches to Agent-Based Systems
    By: Michael G Hinchey
    Publisher: Springer New York
    No Review Yet
    AED90
    Binding:
    Digital (delivered electronically)
    Release:
    01 Sep 2006
    Language:
    English
    Out of Stock
    Notify me when this book is in stockNotify Me
    17.
    Teaching and Learning Formal Methods
    Teaching and Learning Formal Methods
    By: Michael G Hinchey, C Neville Dean
    Publisher: Morgan Kaufmann Publishers
    No Review Yet
    AED40
    Binding:
    Digital (delivered electronically)
    Release:
    01 Sep 1996
    Language:
    English
    Out of Stock
    Notify me when this book is in stockNotify Me
    18.
    Zum '95: The Z Formal Specification Notation
    Zum '95: The Z Formal Specification Notation
    By: Michael G Hinchey, Jonathan P Bowen
    Publisher: Springer
    No Review Yet
    AED417
    Binding:
    Digital (delivered electronically)
    Release:
    01 Sep 2006
    Language:
    English
    Out of Stock
    Notify me when this book is in stockNotify Me
    19.
    Formal Approaches to Agent-Based Systems
    Formal Approaches to Agent-Based Systems
    By: Michael G Hinchey, James L Rash, Walter F Truszkowski
    Publisher: Springer
    No Review Yet
    AED105
    Binding:
    Paperback
    Release:
    15 Jan 2014
    Out of Stock
    Notify me when this book is in stockNotify Me
    20.
    Concurrent Systems
    Concurrent Systems
    By: Michael G. Hinchey, Stephen A. Jarvis
    Publisher: McGraw-Hill Education - Europe
    No Review Yet
    AED112
    Binding:
    Paperback
    Release:
    10 Feb 1995
    Language:
    English
    Out of Stock
    Notify me when this book is in stockNotify Me
    loadingLoading more results