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.).
Saved in:
| Published: |
Berlin :
Springer,
c2005.
|
|---|---|
| Online Access: | |
| Corporate Author: | |
| Other Authors: | |
| Series: | Lecture notes in computer science ;
3393 |
| Subjects: | |
| Format: | Electronic eBook |
| Physical Description: | xxvii, 411 p. : fig., 1 port. ; 24 cm. |
|---|---|
| Notes: | Title from title screen (viewed February 8, 2005) Electronic book available via Springer Link. Print version originally published in 2005. Access restricted to subscribing institutions. Bib#: 909100 |
| Format: | System requirements: Adobe Acrobat required to view PDF document. |
| Access: | Access restricted to subscribing institutions. |
| Language: | English |
| ISBN: | 3540249362 |
| DOI: | 10.1007/b106390 |
| Bib#: | 909100 |
