Refinement techniques in software engineering: First Pernambuco Summer School on Software Engineerin… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004 ; revised lectures
Beteiligte: Cavalcanti, Ana [Herausgeber:in]; Sampaio, Augusto [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft]
Veranstaltung: Pernambuco Summer School on Software Engineering
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2006
Erschienen in: Lecture notes in computer science ; 3167
Tutorial
Umfang: X, 391 S.; graph. Darst
Sprache: Englisch
ISBN: 3540462538; 9783540462538
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 11889229
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Software Engineering > Verfeinerung
Entstehung:
Anmerkungen: Literaturverz. S. 378 - 391
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Refinement techniques in software engineering