Cavalcanti, Ana.
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 Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3167 0302-9743 ; . - Lecture Notes in Computer Science, 3167 .
9783540462545
10.1007/11889229 doi
Computer science.
Software engineering.
Information Systems.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
QA76.758
005.1
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 Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3167 0302-9743 ; . - Lecture Notes in Computer Science, 3167 .
9783540462545
10.1007/11889229 doi
Computer science.
Software engineering.
Information Systems.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
QA76.758
005.1