Opening book details…
Can I read Foundations of Software Science and Computation Structures [recurso electrónico] 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings on EtoBox?
Foundations of Software Science and Computation Structures [recurso electrónico] 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings by Anca Muscholl (eds.) is a nonfiction available to read on EtoBox.
What is Foundations of Software Science and Computation Structures [recurso electrónico] 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings about?
This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming. Erscheinungsdatum: 18.03.2014
Who reads Foundations of Software Science and Computation Structures [recurso electrónico] 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Anca Muscholl (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2014
- Language
- EN
- ISBN
- 9783642548291
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Language Learning
More by Anca Muscholl (eds.)
Browse all works by Anca Muscholl (eds.)
Similar books
- Foundations of software science and computation structures : 16th international conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; proceedings — Jonathan Hayman, Tobias Heindel (auth.), Frank Pfenning (2013)
- Foundations of Software Science and Computation Structures : 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 — Andrzej S. Murawski Javier Esparza (2017)
- Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings — Mikołaj Bojańczyk, Alex Simpson (2019)
- Fundamental approaches to software engineering : 17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings — Stefania Gnesi and Arend Rensink (2014)
- Foundations of Software Science and Computational Structures [recurso electrónico] 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings — Andrea Calì, Georg Gottlob, Giorgio Orsi (auth.), Lars Birkedal (2012)
- Programming Languages and Systems [recurso electrónico] 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings — Zhong Shao (2014)