Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, Psse 2004; Receife, Brazil, November 23-december 5, 2004: Revised Lectures
ISBN: 9783540462545
Information Available:
Summary
Copyright held by Baker & Taylor.