Home Advanced Search

Advanced Search - Page 1

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)
Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Isi Mitrani (auth.), Mirco Tribastone, Stephen Gilmore (eds.)
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Sandrine Blazy, Marsha Chechik (eds.)
CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joseph Y. Halpern (auth.), Franck van Breugel, Marsha Chechik (eds.)
CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joseph Y. Halpern (auth.), Franck van Breugel, Marsha Chechik (eds.)
CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joseph Y. Halpern (auth.), Franck van Breugel, Marsha Chechik (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Marsha Chechik, Jean-François Raskin (eds.)
Algebraic Methods: Theory, Tools and Applications
  • DJVU
  • English
  • Year: 1989
  • Author: Martin Wirsing, Jan A. Bergstra (auth.), Martin Wirsing, Jan A. Bergstra (eds.)
search