Home Advanced Search

Advanced Search - Page 1

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering)
  • PDF
  • English
  • Year: 2009
  • Author: María Alpuente, Byron Cook, Christophe Joubert
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva (auth.), Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers (eds.)
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva (auth.), Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers (eds.)
Programación lógica. teoría y práctica
  • PDF
  • Spanish
  • Year: 2007
  • Author: María Alpuente Fresnedo, Pascual Julian Iranzo
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
search