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

Other Authors: Pernambuco Summer School on Software Engineering, Cavalcanti, Ana, Sampaio, Augusto, 1964-, Woodcock, Jim, 1956-
Format: Books
Language: English
Published: Berlin : Springer c2006
Edition: 1st ed
Series: Lecture notes in computer science ; 3167
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Physical Description: x, 391 s.
ISBN: 9783540462538
Saved in: