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:
Corporate Author: Pernambuco Summer School on Software Engineering (1. : 2004 : Recife, Brazílie)
Other Authors: Cavalcanti, Ana (Editor), Sampaio, Augusto, 1964- (Editor), Woodcock, Jim, 1956- (Editor)
Format: Book
Published: Berlin : Springer, 2006
Series:Lecture notes in computer science, 0302-9743 ; 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 NTK collection 6th floor, shelf 6D/038 QA76 .758 .P47 2004 A 42445