Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Hans-Jörg Kreowski ... [et al.] (eds.)
Bok Engelsk 2005
Annen tittel | |
---|---|
Utgitt | Berlin : Springer , c2005
|
Omfang | XXVII, 411 s. : ill.
|
Opplysninger | "Bibliography of Hartmut Ehrig": s. [XI]-XXVII. - På omslaget: Festschrift
|
Emner | |
ISBN | 3540249362
|