Home Advanced Search

Advanced Search - Page 1

Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: David Lorge Parnas (auth.), Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)
GI - 20. Jahrestagung I: Informatik auf dem Weg zum Anwender
  • PDF
  • German
  • Year: 1990
  • Author: David Lorge Parnas (auth.), A. Reuter (eds.)
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
Software Engineering — ESEC/FSE'97: 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering Zurich, Switzerland, September 22–25, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: David Lorge Parnas (auth.), Mehdi Jazayeri, Helmut Schauer (eds.)
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)
Formal Methods: Applications and Technology: 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Anna Slobodová (auth.), Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol (eds.)
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova (auth.), Wolfgang Grieskamp, Carsten Weise (eds.)
CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko (auth.), Luboš Brim, Mojmír Křetínský, Antonín Kučera, Petr Jančar (eds.)
Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
  • PDF
  • English
  • Year: 1980
  • Author: W. Ainhirn (auth.), Jaco de Bakker, Jan van Leeuwen (eds.)
Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
  • DJVU
  • English
  • Year: 1980
  • Author: W. Ainhirn (auth.), Jaco de Bakker, Jan van Leeuwen (eds.)
search