Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / Hans-Jörg Kreowski [and others] (eds.).
| Other author | Ehrig, Hartmut. |
| Other author | Kreowski, H.-J. (Hans-Jörg) |
| Format | Electronic |
| Publication Info | Berlin ; New York : Springer, ©2005. |
| Description | xxvii, 411 pages : illustrations ; 24 cm. |
| Supplemental Content | Restricted to Springer LINK subscribers |
| Subjects |
| Series | Lecture notes in computer science ; 3393 Festschrift Lecture notes in computer science 3393. ^A466336 Lecture notes in computer science. Festschrift. ^A601151 |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| LCCN | 2005920315 |
| ISBN | 3540249362 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.9.F67 F66 2005 | ✔ Available | Place Hold |