Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures

Saved in:
Bibliographic Details
Other Authors: Cavalcanti, Ana (Editor)
Sampaio, Augusto, 1964- (Editor)
Woodcock, Jim, 1956- (Editor)
Conference: Pernambuco Summer School on Software Engineering (1. : 2004 : Recife, Brazílie)
Format: Book
Published: Berlin : Springer, 2006
Series:Lecture notes in computer science, 3167
Genre/form:sborníky konferencí
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!


Get full text
Status Sublibrary Description Location LCC Callnumber Old Callnumber
Open stacks; for loan  Place a Hold NTK collection 6th floor, shelf 6D/038 QA76 .758 .P47 2004 A 42445