Program Analysis and Compilation, Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Berlín, Alemania :
Springer,
2007, c2007
|
| Rangatū: | (Lecture Notes in Computer Science)
|
| Urunga tuihono: | Ver documento en línea |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Ngā tūemi rite: Program Analysis and Compilation, Theory and Practice :
- Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
- Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
- Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
- Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings /
- Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
- Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /