Buy books written by John Hatcliff Available at Bookswagon
Logo1
close menu
Bookswagon
search
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
John Hatcliff

John Hatcliff

8 results found
Filter0Switch to Grid View
List viewGrid view
Sort By:
1.
Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
By: John Hatcliff, Elena Zucca
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED252
Binding:
Paperback
Release:
01 Jun 2010
Language:
English
International Edition
Ships within 10-12 Days Explain..
2.
Partial Evaluation: Practice and Theory
Partial Evaluation: Practice and Theory
By: John Hatcliff, Peter Thiemann, Torben Mogensen
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED264
Binding:
Paperback
Release:
17 Nov 1999
Language:
English
International Edition
Ships within 10-12 Days Explain..
3.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
By: Hubert Garavel, John Hatcliff
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED499
Binding:
Paperback
Release:
14 Mar 2003
Language:
English
International Edition
Ships within 10-12 Days Explain..
4.
Foundations of the Bandera Abstraction Tools
Foundations of the Bandera Abstraction Tools
By: John Hatcliff, Nasa Technical Reports Server (Ntrs), et al
Publisher: Bibliogov
No Review Yet
AED57
Binding:
Paperback
Release:
10 Jul 2013
Out of Stock
Notify me when this book is in stockNotify Me
5.
Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
By: John Hatcliff, Elena Zucca
Publisher: Springer
No Review Yet
AED88
Binding:
Paperback
Release:
13 Mar 2011
Out of Stock
Notify me when this book is in stockNotify Me
6.
Partial Evaluation Practice and Theory: Diku 1998 International Summer School Copenhagen, Denmark, June 29 - July 10, 1998. Lecture Notes in Computer Science
Partial Evaluation Practice and Theory: Diku 1998 International Summer School Copenhagen, Denmark, June 29 - July 10, 1998. Lecture Notes in Computer Science
By: John Hatcliff, Peter Thiemann, Torben Mogensen
Publisher: Springer
No Review Yet
AED320
Binding:
Graphic Novel
Release:
01 Jan 1998
Out of Stock
Notify me when this book is in stockNotify Me
7.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
By: Hubert Garavel, John Hatcliff
Publisher: Springer
No Review Yet
AED88
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
8.
Partial Evaluation. Practice and Theory
Partial Evaluation. Practice and Theory
By: Peter Thiemann, John Hatcliff, Torben Mogensen
Publisher: Springer
No Review Yet
AED88
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
No more records found