Programming Languages and Systems (eBook, PDF)
16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
Redaktion: De Nicola, Rocco
Alle Infos zum eBook verschenken
Programming Languages and Systems (eBook, PDF)
16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
Redaktion: De Nicola, Rocco
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Hier können Sie sich einloggen
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 9.98MB
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
- Produktdetails
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 542
- Erscheinungstermin: 16. Juli 2007
- Englisch
- ISBN-13: 9783540713166
- Artikelnr.: 44126586
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 542
- Erscheinungstermin: 16. Juli 2007
- Englisch
- ISBN-13: 9783540713166
- Artikelnr.: 44126586
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.