Home Advanced Search

Advanced Search - Page 1

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures
  • PDF
  • English
  • Year: 2006
  • Author: Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)
Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
  • PDF
  • English
  • Year: 2010
  • Author: Patrícia Machado, Auri Vincenzi (auth.), Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook (eds.)
Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
  • PDF
  • English
  • Year: 2010
  • Author: Patrícia Machado, Auri Vincenzi (auth.), Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook (eds.)
Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)
Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)
Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)
An algebraic approach to compiler design
  • DJVU
  • English
  • Year: 1997
  • Author: Augusto Sampaio
Software Engineering for Robotics
  • PDF
  • English
  • Year: 2021
  • Author: Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Pedro Ribeiro, Augusto Sampaio
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)
search