Media type: Book; Conference Proceedings Title: Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 ; revised selected papers Contributor: Corradini, Andrea [Hrsg.]; Montanari, Ugo [Other] Event: WADT imprint: Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5486 Extent: VIII, 341 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3642034284; 9783642034282 Publisher, production or purchase order numbers: Sonstige Nummer: 12728596 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Algebraische Spezifikation Formale Spezifikationstechnik Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 27 Item ID: 32542936 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order