Opening book details…
Can I read Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers on EtoBox?
Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers by David Naumann (eds.) is a nonfiction available to read on EtoBox.
What is Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers about?
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication. Erscheinungsdatum: 04.02.2015
Who reads Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- David Naumann (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2015
- Language
- EN
- ISBN
- 9783319148069
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Language Learning
More by David Naumann (eds.)
Browse all works by David Naumann (eds.)
Similar books
- Unifying Theories Of Programming: 4th International Symposium, Utp 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (lecture Notes In Computer Science) — Jim Woodcock, Victor Bandur (auth.), Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (2013)
- Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5713) — Ralph-Johan Back (auth.), Andrew Butterfield (2010)
- Programming Languages And Systems: 12th Asian Symposium, Aplas 2014, Singapore, Singapore, November 17-19, 2014, Proceedings (lecture Notes In Computer Science) — Jacques Garrigue (2014)
- Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers (Lecture Notes in Computer Science, 8843) — Jurriaan Hage, Jay McCarthy (2015)
- Programming languages and systems : 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings — Vijay Saraswat (auth.), Zhong Shao (2007)
- Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers — Anna-Lena Lamprecht (2016)