Fortell venner om denne varen:
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
$ 55,49
Bestillingsvarer
Forventes levert 3. - 11. jul
Legg til iMusic ønskeliste
Eller
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 11. mars 1998 |
| ISBN13 | 9783540643029 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 289 |
| Mål | 156 × 234 × 15 mm · 421 g |
| Språk | Tysk |
| Redaktør | Hankin, Chris |
![Cover for Chris Hankin · Introducao Ao Calculo Lambda (Pocketbok) [Portuguese edition] (2012)](https://imusic.b-cdn.net/images/item/original/844/9781848900844.jpg?chris-hankin-2012-introducao-ao-calculo-lambda-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1575365226)
