Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures / [electronic resource] :
edited by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 3167 0302-9743 .
9783540462545
Computer science Software engineering Information Systems Computer Science Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Management of Computing and Information Systems