Home Advanced Search

Advanced Search - Page 1

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.)
All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
  • PDF
  • English
  • Year: 2007
  • Author: Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)
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.)
Coordination Models and Languages: 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Perdita Stevens (auth.), Farhad Arbab, Carolyn Talcott (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.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: José Meseguer (auth.), Farhad Arbab, Peter Csaba Ölveczky (eds.)
System Configuration Management: ECOOP'98 SCM-8 Symposium Brussels, Belgium, July 20–21, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Jens-Otto Larsen, Helge M. Roald (auth.), Boris Magnusson (eds.)
search