Home Advanced Search

Advanced Search - Page 1

Elements of Microcomputer Interfacing
  • DJVU
  • English
  • Year: 1990
  • Author: Dines Bjorner, C.A.R. Hoare, Hans Langmaack
Software Engineering 1: Abstraction and Modelling
  • DJVU
  • English
  • Year: 2006
  • Author: Dines Bjorner
Software Engineering 2: Specification of Systems and Languages
  • PDF
  • English
  • Year: 2006
  • Author: Dines Bjorner
Unifying theories of programming
  • DJVU
  • English
  • Year: 1998
  • Author: Hoare C.A.R.; He J.
Unifying theories of programming
  • DJVU
  • English
  • Year: 1998
  • Author: C.A.R. Hoare, He Jifeng
Unifying theories of programming
  • DJVU
  • English
  • Year: 1998
  • Author: C.A.R. Hoare, He Jifeng
Essays in computing science
  • DJVU
  • English
  • Year: 1989
  • Author: Hoare C.A.R.; Jones C.B.
1. Fachtagung über Programmiersprachen: München, 9.–11. März 1971
  • PDF
  • German
  • Year: 2013
  • Author: Hans Langmaack; Manfred Paul
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.)
VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Ole-Johan Dahl (auth.), D. Bjørner, C. A. R. Hoare, H. Langmaack (eds.)
search