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
|
