Formal methods in software and systems modeling [electronic resource] : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / Hans-Jörg Kreowski ... [et al.] (eds.).
Furkejuvvon:
| Almmustuhtton: |
Berlin :
Springer,
c2005.
|
|---|---|
| Liŋkkat: | |
| Searvvušdahkki: | |
| Eará dahkkit: | |
| Ráidu: | Lecture notes in computer science ;
3393 |
| Fáttát: | |
| Materiálatiipa: | Elektrovnnalaš E-girji |
