TY - BOOK
AU - WADT 19 2008 Pisa
AU - Corradini, Andrea
AU - Montanari, Ugo
TI - Recent trends in algebraic development techniques 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 ; revised selected papers
PB - Springer
SN - 3642034284
SN - 9783642034282
KW - Computer software Development Congresses
KW - Computer science Mathematics Congresses
KW - Abstract data types (Computer science) Congresses
KW - Konferenzschrift 2008 Pisa
KW - Algebraische Spezifikation
KW - Formale Spezifikationstechnik
PY - 2009
N2 - Literaturangaben
BT - Lecture notes in computer science ; 5486
CY - Berlin
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-607714638&tx_find_find%5Btype%5D=ris
ER -
Download citation