Home Advanced Search

Advanced Search - Page 1

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)
  • PDF
  • English
  • Year: 2008
  • Author: José Meseguer, Grigore Rosu
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl
  • PDF
  • English
  • Year: 2004
  • Author: Olaf Owe, Stein Krogdahl, Tom Lyche (auth.), Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl
  • PDF
  • English
  • Year: 2004
  • Author: Olaf Owe, Stein Krogdahl, Tom Lyche (auth.), Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: José Meseguer (auth.), Leo Bachmair (eds.)
ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
search