Home Advanced Search

Advanced Search - Page 1

Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Władysław M. Turski (auth.), Tom Maibaum (eds.)
Programmiersprachen und Programmentwicklung: 7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982
  • PDF
  • German-English
  • Year: 1982
  • Author: Władysław M. Turski (auth.), Hans Wössner (eds.)
Dependable Computing for Critical Applications 4
  • PDF
  • English
  • Year: 1995
  • Author: Władysław M. Turski (auth.), Prof. Flaviu Cristian, Gerard Le Lann, Teresa Lunt (eds.)
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Tom Maibaum (auth.), Bernhard K. Aichernig, Tom Maibaum (eds.)
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Tom Maibaum (auth.), Bernhard K. Aichernig, Tom Maibaum (eds.)
The Specification of Computer Programs (International Computer Science Series)
  • DJVU
  • English
  • Year: 1987
  • Author: Thomas S. E. Maibaum, Wladyslaw M. Turski
The Specification of Computer Programs
  • DJVU
  • English
  • Year: 1987
  • Author: Maibaum T.S.E., Turski W.M.
Datenstrukturen
  • PDF
  • German
  • Year: 1976
  • Author: Władysław M. Turski (editor); Helmut Thiele (editor); Gerhard Paulin (editor)
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)
search