Home Advanced Search

Advanced Search - Page 1

Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA
  • PDF
  • English
  • Year: 1998
  • Author: K. R. M. Leino (auth.), David Gries, Willem-Paul de Roever (eds.)
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
  • PDF
  • English
  • Year: 1998
  • Author: Willem-Paul de Roever (auth.), Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
  • PDF
  • English
  • Year: 2008
  • Author: Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
  • PDF
  • English
  • Year: 2004
  • Author: Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
  • PDF
  • English
  • Year: 2003
  • Author: Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
  • PDF
  • English
  • Year: 2006
  • Author: Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
  • PDF
  • English
  • Year: 2006
  • Author: Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Limor Fix, Fred B. Schneider (auth.), Hans Langmaack, Willem-Paul de Roever, Jan Vytopil (eds.)
Multimedia Introduction to Programming Using Java
  • PDF
  • English
  • Year: 2005
  • Author: David Gries, Paul Gries (auth.)
search