Home Advanced Search

Advanced Search - Page 1

Communicating sequential processes
  • PDF
  • English
  • Year: 1985
  • Author: C. A. R. Hoare
Communicating Sequential Processes
  • DJVU
  • English
  • Year: 2003
  • Author: C. A. R. Hoare
Essays in Computing Science (Prentice-Hall International Series in Computer Science)
  • PDF
  • English
  • Year: 1989
  • Author: C. A. R. Hoare, C. B. Jones
ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare, He Jifeng (auth.), Rachid Guerraoui (eds.)
Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings
  • DJVU
  • English
  • Year: 1985
  • Author: C. A. R. Hoare (auth.), S. N. Maheshwari (eds.)
Structured Programming
  • DJVU
  • English
  • Year: 1972
  • Author: Edsger Wybe Dijkstra, C. A. R. Hoare, Ole-Johan Dahl
International Symposium on Theoretical Programming
  • PDF
  • English-French
  • Year: 1974
  • Author: C. A. R. Hoare (auth.), Andrei Ershov, Valery A. Nepomniaschy (eds.)
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
  • PDF
  • English
  • Year: 1989
  • Author: C. A. R. Hoare (auth.), Josep Díaz, Fernando Orejas (eds.)
International Symposium on Theoretical Programming
  • DJVU
  • English-French
  • Year: 1974
  • Author: C. A. R. Hoare (auth.), Andrei Ershov, Valery A. Nepomniaschy (eds.)
Correct System Design: Recent Insights and Advances
  • DJVU
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
search