
Conte aos seus amigos sobre este item:
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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 11 de março de 1998 |
ISBN13 | 9783540643029 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 289 |
Dimensões | 156 × 234 × 15 mm · 421 g |
Editor | Hankin, Chris |