Home Advanced Search

Advanced Search - Page 1

Software Systems Reliability and Security
  • PDF
  • English
  • Year: 2007
  • Author: M. Broy, M Broy, T. Hoare, J. Grunbauer
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
Информатика. Ч.4: Теоретическая информатика, алгоритмы и структуры данных, логическое программирование
  • DJVU
  • Russian
  • Year: 1998
  • Author: Брой М.(Broy M.)
Mathematical methods in program development
  • DJVU
  • English
  • Year: 1997
  • Author: Broy M., Schieder B. (eds.)
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
  • PDF
  • English
  • Year: 2005
  • Author: Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
Program design calculi
  • DJVU
  • English
  • Year: 1993
  • Author: North Atlantic Treaty Organization. Scientific Affairs Division.; Broy, M (ed.)
Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
  • PDF
  • English
  • Year: 2005
  • Author: Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)
Exploring University Mathematics. Lectures Given at Bedford College, London, Volume 3
  • PDF
  • English
  • Year: 1969
  • Author: Mary Bradburn, G. T. Kneebone, M. R. Hoare and N. J. Hardiman (Auth.)
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School
  • DJVU
  • English
  • Year: 1986
  • Author: Broy, Manfred (ed.)
search