Home Advanced Search

Advanced Search - Page 1

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings
  • PDF
  • English
  • Year: 1990
  • Author: Ole-Johan Dahl (auth.), D. Bjørner, C. A. R. Hoare, H. Langmaack (eds.)
Structured Programming
  • DJVU
  • English
  • Year: 1972
  • Author: Edsger Wybe Dijkstra, C. A. R. Hoare, Ole-Johan Dahl
Towards a Formal Description of Ada
  • PDF
  • English
  • Year: 1980
  • Author: Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)
Structured programming
  • PDF
  • English
  • Year: 1972
  • Author: Ole-Johan Dahl, Edsger Wybe Dijkstra, Charles Antony Richard Hoare
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
SIMULA User’s Guide for IBM System/360
  • DJVU
  • English
  • Year: 1975
  • Author: Ole-Johan Dahl, Kristen Nygaard
SIMULA implementation guide
  • DJVU
  • English
  • Year: 1973
  • Author: Ole-Johan Dahl, Bjorn Myhrhaug
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
  • PDF
  • English-French
  • Year: 1974
  • Author: C. A. R. Hoare (auth.), Andrei Ershov, Valery A. Nepomniaschy (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.)
search