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
  • 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.)
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.)
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.)
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.)
Correct System Design: Recent Insights and Advances
  • DJVU
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (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
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
search