Media type: Book; Commemorative Publication Title: Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday Contributor: Kreowski, Hans-Jörg [Hrsg.]; Montanari, Ugo [Other]; Orejas, Fernando [Other]; Rozenberg, Grzegorz [Other]; Taentzer, Gabriele [Other]; Ehrig, Hartmut [GefeierteR] imprint: Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3393 Festschrift Extent: XXVII, 411 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540249362 Publisher, production or purchase order numbers: Sonstige Nummer: 11392910 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Softwareentwicklung > Formale Methode Systemmodell > Formale Methode Graphersetzungssystem Algebraische Spezifikation Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 6743 Item ID: 31144970 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order