Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
Author(s)
Bibliographic Information
Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
(Lecture notes in computer science, 3167)
Springer, c2006
Available at / 10 libraries
-
No Libraries matched.
- Remove all filters.
Note
"Tutorial"--Cover
Includes bibliographical references and index