Home Advanced Search

Advanced Search - Page 1

Mathematical methods in program development
  • DJVU
  • English
  • Year: 1997
  • Author: Broy M., Schieder B. (eds.)
Mathematical Methods in Program Development
  • PDF
  • English
  • Year: 1997
  • Author: David Gries (auth.), Manfred Broy, Birgit Schieder (eds.)
Информатика. Ч.4: Теоретическая информатика, алгоритмы и структуры данных, логическое программирование
  • DJVU
  • Russian
  • Year: 1998
  • Author: Брой М.(Broy M.)
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.)
Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security
  • PDF
  • English
  • Year: 2009
  • Author: M. Broy, W. Sitou and T. Hoare
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