|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
Loot Price: R2,158
Discovery Miles 21 580
|
|
|
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
Series: Theoretical Computer Science and General Issues, 10134
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 6th
International Symposium on Unifying Theories of Programming, UTP
2016, held in Reykjavik, Iceland, in June 2016, in conjunction with
the 12th International Conference on Integrated Formal Methods, iFM
2016. The 8 revised full papers presented were carefully reviewed
and selected from 10 submissions. They deal with the fundamental
problem of combination of formal notations and theories of
programming that define in various different ways many common
notions, such as abstraction refinement, choice, termination,
feasibility, locality, concurrency, and communication. They also
show that despite many differences, such theories may be unified in
a way that greatly facilitates their study and comparison.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
