![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 - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540643029 - 11 marca 1998](https://imusic.b-cdn.net/images/item/original/029/9783540643029.jpg?chris-hankin-1998-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-&class=scaled&v=1582905345)
Powiedz znajomym o tym przedmiocie:
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
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 11 marca 1998 |
ISBN13 | 9783540643029 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 289 |
Wymiary | 156 × 234 × 15 mm · 421 g |
Redaktor | Hankin, Chris |