Home Advanced Search

Advanced Search - Page 1

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Mark P. Jones (auth.), Roland Backhouse, José Nuno Oliveira (eds.)
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.)
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Roland Backhouse (auth.), Charles Rattray, Savitri Maharaj, Carron Shankland (eds.)
Generic Programming: Advanced Lectures
  • PDF
  • English
  • Year: 2003
  • Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)
search