Tipsa dina vänner om produkten:
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
SEK 549
Beställningsvara
Förväntad leverans 8 - 16 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
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öcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 11 mars 1998 |
| ISBN13 | 9783540643029 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 289 |
| Mått | 156 × 234 × 15 mm · 421 g |
| Språk | Tyska |
| 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)
