Refinement techniques in software engineering
Subtitle: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
By: Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.).
Contributors: Cavalcanti, Ana.; Sampaio, Augusto.; Woodcock, Jim.
Series: Lecture notes in computer science -- 3167. -- Tutorial; Lecture notes in computer science -- 3167.; Lecture notes in computer science
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 391
ISBN-13: 9783540462538
Subjects: Software engineering -- Congresses
Genres: Congresses.
Other titles: First Pernambuco Summer School on Software Engineering.; Pernambuco Summer School on Software Engineering.; PSSE 2004.
Notes: Includes bibliographical references.