Home Advanced Search

Advanced Search - Page 1

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981
  • PDF
  • English
  • Year: 1983
  • Author: Manfred Broy (auth.), Alan W. Biermann, Gérard Guiho (eds.)
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School
  • PDF
  • English
  • Year: 1985
  • Author: Edsger W. Dijkstra (auth.), Manfred Broy (eds.)
Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare
  • PDF
  • English
  • Year: 1982
  • Author: Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)
Programming and Mathematical Method: International Summer School
  • PDF
  • English
  • Year: 1992
  • Author: Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
  • DJVU
  • English
  • Year: 1995
  • Author: Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
  • PDF
  • English
  • Year: 1989
  • Author: Jayadev Misra (auth.), Manfred Broy (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • DJVU
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • PDF
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Software Pioneers: Contributions to Software Engineering
  • PDF
  • English
  • Year: 2002
  • Author: Manfred Broy (auth.), Prof. Dr. Manfred Broy, Prof. Dr. Ernst Denert (eds.)
Methodologies for Intelligent Systems: 6th International Symposium, ISMIS '91 Charlotte, N. C., USA, October 16–19, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Alan W. Biermann, Ronnie W. Smith (auth.), Z. W. Ras, M. Zemankova (eds.)
search