Media type: Book; Conference Proceedings Title: Algebraic informatics : second international conference, CAI 2007, Thessalonkiki, Greece, May 21-25, 2007 ; revised selected and invited papers Contributor: Bozapalidis, Symeon [Hrsg.]; Rahonis, George [Other] Event: CAI imprint: Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4728 Extent: VIII, 289 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 354075413X; 9783540754138 Publisher, production or purchase order numbers: Sonstige Nummer: 12168668 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Algebraische Spezifikation Formale Sprache Formale Semantik Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 8838 Item ID: 32020943 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.