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.)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (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
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.)
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.)
search