Home Advanced Search

Advanced Search - Page 1

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.)
Methods of Programming: Selected Papers on the CIP-Project
  • DJVU
  • English
  • Year: 1991
  • Author: Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)
CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings
  • PDF
  • English-French
  • Year: 1983
  • Author: Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)
CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings
  • DJVU
  • English-French
  • Year: 1983
  • Author: Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)
Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Manfred Broy (auth.), Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (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.)
Program Design Calculi
  • PDF
  • English
  • Year: 1993
  • Author: Carroll Morgan (auth.), Manfred Broy (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.)
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.)
Software Pioneers: Contributions to Software Engineering
  • PDF
  • English
  • Year: 2002
  • Author: Manfred Broy (auth.), Prof. Dr. Manfred Broy, Prof. Dr. Ernst Denert (eds.)
search