Foundations of Software Science and Computation Structures
Produktnummer:
184f45afb803b1479598d934d289e8755e
Themengebiete: | coalgebra compilers finite automata formal languages formal logic interpreters mathematical logic numerical methods programming languages software engineering |
---|---|
Veröffentlichungsdatum: | 16.03.2017 |
EAN: | 9783662544570 |
Sprache: | Englisch |
Seitenzahl: | 568 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Esparza, Javier Murawski, Andrzej S. |
Verlag: | Springer Berlin |
Untertitel: | 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings |
Produktinformationen "Foundations of Software Science and Computation Structures"
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.

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