Buch, Englisch, 143 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 2467 g
5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Buch, Englisch, 143 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 2467 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-319-14805-2
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Theoretische Informatik
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Modellierung, UML, SysML
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
Weitere Infos & Material
Numerous formal notations.- Theories of programming.- Abstraction.- Refinement.- Choice.- Termination.- Feasibility.- Locality.- Concurrency and communication.
