Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December … (Lecture Notes in Computer Science, 3167) 2006th Edition by Ana Cavalcanti (PDF)

Description

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The seven tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The courses cover a wide spectrum of topics.

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐

⭐

Keywords

Free Download Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December … (Lecture Notes in Computer Science, 3167) 2006th Edition in PDF format
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December … (Lecture Notes in Computer Science, 3167) 2006th Edition PDF Free Download
Download Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December … (Lecture Notes in Computer Science, 3167) 2006th Edition 2006 PDF Free
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December … (Lecture Notes in Computer Science, 3167) 2006th Edition 2006 PDF Free Download
Download Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December … (Lecture Notes in Computer Science, 3167) 2006th Edition PDF
Free Download Ebook Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December … (Lecture Notes in Computer Science, 3167) 2006th Edition