Refinement Techniques in Software Engineering
Subtitle: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Publisher: Springer London, Limited
Published: 2006
Language: eng
Number of pages: 396
ISBN-13: 9783540462545
Subjects: Software engineering