Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Berlín, Alemania :
Springer,
2005, c2005
|
| Serier: | (Lecture Notes in Computer Science)
|
| Online adgang: | Ver documento en línea |
Lignende værker: Formal Methods in Software and Systems Modeling :
- Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
- Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
- Rainbow of Computer Science : Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday /
- Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
- Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /
- Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday /