Home Advanced Search

Advanced Search - Page 1

International Symposium on Theoretical Programming
  • PDF
  • English-French
  • Year: 1974
  • Author: C. A. R. Hoare (auth.), Andrei Ershov, Valery A. Nepomniaschy (eds.)
Language Hierarchies and Interfaces: International Summer School
  • DJVU
  • English
  • Year: 1976
  • Author: E. W. Dijkstra (auth.), Prof. Dr. Dr. h.c. Dr. Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Prof. Dr. Klaus Samelson (eds.)
Language Hierarchies and Interfaces: International Summer School
  • PDF
  • English
  • Year: 1976
  • Author: E. W. Dijkstra (auth.), Prof. Dr. Dr. h.c. Dr. Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Prof. Dr. Klaus Samelson (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.)
FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)
Correct System Design: Recent Insights and Advances
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (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.)
Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16–22, 1979
  • PDF
  • English
  • Year: 1981
  • Author: Prof. Dr. Heinz Zemanek (auth.), Andrei P. Ershov, Donald E. Knuth (eds.)
Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: C. A. R. Hoare (auth.), Harald Kosch, László Böszörményi, Hermann Hellwagner (eds.)
Communicating sequential processes
  • PDF
  • English
  • Year: 1985
  • Author: C. A. R. Hoare
search