ISBN 3540462538 books & textbook
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)
Cavalcanti, Ana Sampaio, Augusto Woodcock, Jim
Springer /2006-09-27 Paperback / 407 Pages
isbn-10: 3540462538 / isbn-13: 9783540462538
