Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.)
On the Construction of Engineering Handbooks
  • PDF
  • English
  • Year: 2020
  • Author: Stefan Gruner; Apurva Kumar; Tom Maibaum; Markus Roggenbach
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Bernhard K. Aichernig, Carlo A. Furia (eds.)
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele (auth.), Margus Veanes, Luca Viganò (eds.)
Wahrscheinlichkeitsrechnung
  • PDF
  • German
  • Year: 1987
  • Author: Gert Maibaum
Speaking Of Writing
  • PDF
  • English
  • Author: Richard Maibaum
Speaking Of Writing
  • EPUB
  • English
  • Author: Richard Maibaum
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
  • DJVU
  • English
  • Year: 1991
  • Author: Luca Aceto (auth.), S. Abramsky, T. S. E. Maibaum (eds.)
search