Home/
Unifying Theories of Programming: 5th International Symposium, Utp 2014, Singapore, May 13, 2014, Re
Unifying Theories of Programming: 5th International Symposium, Utp 2014, Singapore, May 13, 2014, Re
No customer reviews yet
ISBN 9783319148052
- Published
- Feb 2015
- Language
- English
$47.07
In stock
Most orders arrive within 3 weeks. Shipping policy
Sign in to Add to Saved list
Fast checkout
Pay with Apple Pay or Google Pay when available.
Payment received
We are registering your order now. Please stay on this page while we redirect you to the confirmation page.
Free delivery over $35 · 15-day returns
Condition
Brand New
An unread, unused copy: no writing or highlighting, and no missing or damaged pages. Every book we sell is brand new, including our lowest-priced titles.
About this book
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.
Specifications
PublishedFeb 4, 2015
ISBN-103319148052
ISBN-139783319148052
LanguageEnglish
Buying from Saanjhi
- Ships from the USA. Delivery to US addresses only.
- Free delivery on orders over $35.
- 15-day returns. Unless we send the wrong book or it arrives damaged, you pay return shipping and a 15% restocking fee.
- Secure checkout. We never store card details.
Readers who bought this also bought
More from Computers | Programming | Compilers