Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Ralph-Johan Back (auth.), Chris George, Huaikou Miao (eds.)
Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Ralph-Johan Back (auth.), Susanna Donatelli, P. S. Thiagarajan (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.)
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.)
Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)
search