Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures / edited by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock.
By: Cavalcanti, Ana.
Contributor(s): Sampaio, Augusto | Woodcock, Jim | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 3167.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: digital.ISBN: 9783540462545.Subject(s): Computer science | Software engineering | Information Systems | Computer Science | Software Engineering | Programming Techniques | Programming Languages, Compilers, Interpreters | Management of Computing and Information SystemsDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.