Home Advanced Search

Advanced Search - Page 1

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)
Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2008
  • Author: Michael Jackson (auth.), Egon Börger, Antonio Cisternino (eds.)
Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)
Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)
Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans (auth.), Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.)
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)
search