Fortæl dine venner om denne vare:
Programming Languages and Systems: 7th European Symposium on Programming, Esop '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28-april 4, 1998, Proceedings - Lecture Notes in Comp
Chris Hankin
Pris
CA$ 113,74
Bestilles fra fjernlager
Forventes klar til forsendelse 13. - 20. jun.
Tilføj til din iMusic ønskeseddel
Programming Languages and Systems: 7th European Symposium on Programming, Esop '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28-april 4, 1998, Proceedings - Lecture Notes in Comp
Chris Hankin
This volume presents 17 papers from a total of 59 submissions, and one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis and program transformation.
289 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 11. marts 1998 |
| ISBN13 | 9783540643029 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 289 |
| Mål | 156 × 234 × 15 mm · 421 g |
| Klipper/redaktør | Hankin, Chris |
![Cover for Chris Hankin · Introducao Ao Calculo Lambda (Paperback Bog) [Portuguese edition] (2012)](https://imusic.b-cdn.net/images/item/original/844/9781848900844.jpg?chris-hankin-2012-introducao-ao-calculo-lambda-paperback-bog&class=scaled&v=1408588034)
![Cover for Chris Hankin · Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings - Lecture Notes in Computer Science (Paperback Bog) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/847/9783540285847.jpg?chris-hankin-2005-static-analysis-12th-international-symposium-sas-2005-london-uk-september-7-9-2005-proceedings-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1575365226)
