Humburger Icon
Logo1
Login & Sign up
Bookswagon-24x7 online bookstore
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Categories
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Michael G. Hinchey

Michael G. Hinchey

14 results found
List viewGrid view
Sort By:
1.
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
₹7,204
Binding:
Paperback
Release:
17 Sep 1999
Language:
English
Available
Ships within 4-6 Days Explain..
2.
Teaching and Learning Formal Methods
Teaching and Learning Formal Methods
By: C. Neville Dean, Michael G. Hinchey
Publisher: Elsevier Science & Technology
No Review Yet
₹4,525
Binding:
Hardback
Release:
06 Sep 1996
Language:
English
Available
Ships within 4-6 Days Explain..
3.
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
₹2,572
Binding:
Paperback
Release:
12 Apr 1999
Language:
English
Available
Ships within 4-6 Days Explain..
4.
ZUM '98: The Z Formal Specification Notation36 %
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
₹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 %
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
₹5,307
₹3,396
Binding:
Paperback
Release:
29 Jul 2003
Language:
English
Available
Ships within 12-14 Days Explain..
6.
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
₹2,572
Binding:
Paperback
Release:
21 Dec 2006
Language:
English
Available
Ships within 4-6 Days Explain..
7.
Requirements to Design to Code26 % NR
Requirements to Design to Code
By: Michael G Hinchey, Et Al, Nasa Technical Reports Server (Ntrs), et al
Publisher: Bibliogov
No Review Yet
₹1,313
₹972
Binding:
Paperback
Release:
29 Jul 2013
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
8.
Teaching and Learning Formal Methods7 % NR
Teaching and Learning Formal Methods
By: Michael G Hinchey, C Neville Dean
Publisher: Morgan Kaufmann Publishers
No Review Yet
₹1,424
₹1,324
Binding:
Digital (delivered electronically)
Release:
01 Sep 1996
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
9.
ZUM '95: The Z Formal Specification NotationNR
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
₹10,439
Binding:
Paperback
Release:
23 Aug 1995
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
10.
Formal Methods and Software EngineeringNR
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
₹5,319
Binding:
Paperback
Release:
07 Nov 2007
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
11.
ZUM'97: The Z Formal Specification NotationNR
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
₹5,325
Binding:
Paperback
Release:
20 Mar 1997
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
12.
Formal Approaches to Agent-Based SystemsNR
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
₹5,285
Binding:
Paperback
Release:
31 Jan 2005
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
13.
Formal Approaches to Agent-Based SystemsNR
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
₹5,379
Binding:
Paperback
Release:
10 Oct 2001
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
14.
Concurrent Systems22 %
Concurrent Systems
By: Stephen A. Jarvis, Michael G. Hinchey
Publisher: McGraw-Hill Education - Europe
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
No more records found
ASK VIDYA