Your search returned 16 results.

Sort
Results
1.
Communicating sequential processes by C. A. R. Hoare. by
  • Hoare, C. A. R
Material type: Text Book
Publication details: Englewood Cliffs Prentice-Hall 1985
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8510;1.

2.
Communicating sequential processes by C. A. R. Hoare by
  • Hoare, C. A. R
Material type: Text Book
Publication details: New Delhi Prentice Hall of India 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N8910;1.

3.
Scientific applications of multiprocessors ed. by R Elliott and C A R Hoare by
  • Elliott, R., ed
  • Hoare, C. A. R., ed
Series: Prentice Hall Intl. Series in Computer Science ;
Material type: Text Book
Publication details: New York Prentice-Hall 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N893.

4.
Communicating sequential processes. by C. A. R. Hoare. by
  • Hoare, C. A. R
Material type: Text Book
Publication details: New Delhi PHI 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8910.

5.
Essays in computing science ed. by C. A. R. Hoare and C. B. Jones. by
  • Hoare, C. A. R., ed
  • Jones, C. B., ed
Series: Prentice Hall international series in computer science
Material type: Text Book
Publication details: New York Prentice-Hall 1989
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 001.6 N893.

6.
Communicating sequential processes. by C A R Hoare. by
  • Hoare, C.A.R
Material type: Text Book
Publication details: New Delhi Prentice Hall of India 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N8924.

7.
VDM '90 : VDM & Z -formal methods in software development by
  • ed. by D. Bjorner, C.A.R. Hoare and H. Langmaack
  • Bjorner, D., ed
  • Hoare, C.A.R., ed
  • Langmaack, H., ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N90.

8.
Communicating sequential processes by C. A. R. Hoare. by
  • Hoare, C. A. R
Material type: Text Book
Publication details: New Delhi Prentice Hall of India 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N8920.

9.
Operating systems techniques Proceedings of a seminar (Queen's University, Belfast:1971) ed. by C.A.R. Hoare and R.H. Perrott by
  • Hoare, C.A.R., ed
  • Perrott, R.H., ed
Series: A.P.I.C Studies in data processing ; No.9
Material type: Text Book
Publication details: New York Academic Press 1972
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.43 N72;2.

10.
Structured programming by O.J. Dahl, E.W. Dijkstra and C.A.R. Hoare by
  • Dahl, O.J
  • Dijkstra, E.W
  • Hoare, C.A.R
Series: A.P.I.C. Studies in Data Processing ; No.8
Material type: Text Book
Publication details: London Academic Press 1972
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N725.

11.
Structured programming by O.J. Dahl, E.W. Dijkstra and C.A.R. Hoare by
  • Dahl, O.J
  • Dijkstra, E.W
  • Hoare, C.A.R
Series: A.P.I.C. Studies in Data Processing ; No.8
Material type: Text Book
Publication details: London Academic Press 1972
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N725;1.

12.
Structured programming by O.J. Dahl, E.W. Dijkstra and C.A.R. Hoare by
  • Dahl, O.J
  • Dijkstra, E.W
  • Hoare, C.A.R
Series: A.P.I.C. Studies in Data processing ; No. 8
Material type: Text Book
Publication details: London Academic Press 1972
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N725;3.

13.
Operating systems techniques Proceedings ed by C A R Hoare and R.H. Perrott by
  • Seminar on operating systems techniques (1971 Belfast)
  • Hoare, C.A.R., ed
  • Perrott, R.H., ed
Series: A.P.I.C Studies in Data Processing ; No.9
Material type: Text Book
Publication details: New York Academic 1972
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.43 N72.

14.
Communicating sequential processes by C A R Hoare by
  • Hoare, C A R
Material type: Text Book
Publication details: New Jersey Prentice Hall 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.35 N857.

15.
Structured programming by O J Dahl, E W Dijkstra and C A R Hoare by
  • Dahl, O J
  • Dijkstra, E W
  • Hoare, C A R
Series: A.P.I.C. Studies in Data Processing ;
Material type: Text Book
Publication details: London Academic Press 1972
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.113 N72.

16.
The Logic of Programming by Eric C. R. Hehner by
  • Hehner, Eric C. R,
  • Hoare, C.A.R. (Series editor)
Series: Prentice Hall international series in computer science ;
Material type: Text Book
Publication details: London Prentice hall International inc 1984
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.923 HEH.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha