Refinement techniques in software engineering : first pernambuco summer school on software engineering, PSSE 2004, Receife, Brazil, November 23-december 5, 2004 revised lectures /

Saved in:
Bibliographic Details
Corporate Author: Pernambuco Summer School on Software Engineering Recife, Brazílie) (Author)
Other Authors: Cavalcanti, Ana (Editor), Sampaio, Augusto, 1964- (Editor), Woodcock, Jim, 1956- (Editor)
Format: Book
Published: Berlin : Springer, c2006
Edition:1st ed.
Series:Lecture notes in computer science ; 3167
For reservations/loans of the physical document, please log in.
Description Status Library Collection Call Number Notes Barcode
Faculty of Informatics K1115.04 4200512402