Produktnummer:
1889526b91efcc43ccbbbb3e61c515eec9
| Themengebiete: | Classical logic Compilers Context-specific languages Cryptography Formal language definitions Functional programming Higher-order logic Logic and verification Program verification Semantics and reasoning |
|---|---|
| Veröffentlichungsdatum: | 23.03.2016 |
| EAN: | 9783662494974 |
| Sprache: | Englisch |
| Seitenzahl: | 806 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Thiemann, Peter |
| Verlag: | Springer Berlin |
| Untertitel: | 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings |
Produktinformationen "Programming Languages and Systems"
This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems, ESOP features contributions on all aspects of programming language research; theoretical and/or practical advances.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen