Home Advanced Search

Advanced Search - Page 1

Elements of Microcomputer Interfacing
  • DJVU
  • English
  • Year: 1990
  • Author: Dines Bjorner, C.A.R. Hoare, Hans Langmaack
Unifying theories of programming
  • DJVU
  • English
  • Year: 1998
  • Author: Hoare C.A.R.; He J.
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.)
EINFÜHRUNG IN DIE THEMENZENTRIERTE INTERAKTION
  • PDF
  • german
  • Year: 2011
  • Author: Barbara Langmaack
1. Fachtagung über Programmiersprachen: München, 9.–11. März 1971
  • PDF
  • German
  • Year: 1972
  • Author: R. Schild (auth.), Prof. Dr. Hans Langmaack, Prof. Dr. Manfred Paul (eds.)
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
  • PDF
  • English
  • Year: 1998
  • Author: Willem-Paul de Roever (auth.), Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Limor Fix, Fred B. Schneider (auth.), Hans Langmaack, Willem-Paul de Roever, Jan Vytopil (eds.)
Integrating Decision Procedures for Temporal Verification
  • PDF
  • English
  • Year: 1999
  • Author: Nikolaj Skallerud Bjorner
search