About this document

Unifying Theories of Programming 5th International Symposium UTP 2014 Singapore May 13 2014 Revised Selected Papers 1st Edition David Naumann (Eds.) Ebook Unlimited Digital Version by xlrkqmu7767 is a document available to read on EtoBox.

The document presents the proceedings of the 5th International Symposium on Unifying Theories of Programming (UTP 2014) held in Singapore, featuring revised selected papers edited by David Naumann. It includes discussions on various programming theories and models, particularly focusing on timed reactive processes and their semantics. The document serves as a valuable resource for researchers and practitioners in the field of programming theory.

Author

xlrkqmu7767

Language

EN