Buy books written by C a R Hoare 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
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
C a R Hoare

C a R Hoare

17 results found
List viewGrid view
Sort By:
1.
VDM '90. VDM and Z - Formal Methods in Software Development
VDM '90. VDM and Z - Formal Methods in Software Development
By: Hans Langmaack, Dines Bjørner, C.A.R. Hoare
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED244
Binding:
Paperback
Release:
04 Apr 1990
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Control Flow and Data Flow: Concepts of Distributed Programming
Control Flow and Data Flow: Concepts of Distributed Programming
By: E.W. Dijkstra, Manfred Broy, F.L. Bauer, C.A.R. Hoare
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED487
Binding:
Paperback
Release:
01 Dec 1986
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Programming and Mathematical Method
Programming and Mathematical Method
By: E.W. Dijkstra, Manfred Broy, F.L. Bauer, C.A.R. Hoare
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED487
Binding:
Paperback
Release:
21 Dec 2011
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Logic of Programming and Calculi of Discrete Design
Logic of Programming and Calculi of Discrete Design
By: E.W. Dijkstra, Manfred Broy, F. Bauer, C.A.R. Hoare, M.- Broy
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED244
Binding:
Paperback
Release:
09 Apr 2012
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Mathematical Logic and Programming Languages
Mathematical Logic and Programming Languages
By: C. a. R. Hoare, J.C. Shepherdson
Publisher: Prentice Hall (Higher Education Division, Pearson Education)
No Review Yet
AED268
Binding:
Hardback
Release:
01 Jan 1985
Out of Stock
Notify me when this book is in stockNotify Me
6.
Scientific Applications of Multiprocessors
Scientific Applications of Multiprocessors
By: C. a. R. Hoare, R.J. Elliot
Publisher: Pearson Education Limited
No Review Yet
AED226
Binding:
Hardback
Release:
/11/1988
Out of Stock
Notify me when this book is in stockNotify Me
7.
Operating Systems Techniques
Operating Systems Techniques
By: C. a. R. Hoare, R.H. Perrott
Publisher: Elsevier Science Publishing Co Inc
No Review Yet
AED221
Binding:
Hardback
Release:
01 Jan 1972
Out of Stock
Notify me when this book is in stockNotify Me
8.
Communicating Sequential Processes
Communicating Sequential Processes
By: C. a. R. Hoare
Publisher: Prentice Hall (Higher Education Division, Pearson Education)
No Review Yet
AED235
Binding:
Hardback
Release:
01 Jan 1985
Out of Stock
Notify me when this book is in stockNotify Me
9.
The Mathematics of Programming
The Mathematics of Programming
By: C. a. R. Hoare
Publisher: Oxford University Press
No Review Yet
AED26
Binding:
Paperback
Release:
11 Sep 1986
Out of Stock
Notify me when this book is in stockNotify Me
10.
Unified Theories Of Programming
Unified Theories Of Programming
By: He Jifeng, C.A.R. Hoare
Publisher: Pearson Education (US)
No Review Yet
AED193
Binding:
Paperback
Release:
22 Apr 1998
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Programming and Mathematical Method
Programming and Mathematical Method
By: E. W. Dijkstra, C. a. R. Hoare, Manfred Broy, Friedrich L. Bauer
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED328
Binding:
Hardback
Release:
12 Oct 1992
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Control Flow and Data Flow
Control Flow and Data Flow
By: F L Bauer, E W Dijkstra, C a R Hoare
Publisher: Springer My Copy UK
No Review Yet
AED96
Binding:
Paperback
Release:
01 Dec 1986
Out of Stock
Notify me when this book is in stockNotify Me
13.
VDM '90. VDM and Z - Formal Methods in Software Development
VDM '90. VDM and Z - Formal Methods in Software Development
By: Hans Langmaack, Dines Bjorner, C a R Hoare
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
No more records found