Unifying Theories of Programming Image close
Unifying Theories of Programming
Unifying Theories of Programming
Show Hide Adult Content
Unifying Theories of Programming close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Programming & scripting languages: general

Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$151.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.75 with Afterpay Learn more

6 weekly interest-free payments of $25.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Requirements Engineering: Foundation for Software Quality
$165.00
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out Tuesday
Advances in Knowledge Discovery and Data Mining
$316.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Advances in Knowledge Discovery and Data Mining
$264.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$205.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$368.00
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$318.00
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Software Engineering Education
$157.00
Software Engineering Education
Paperback / softback
Available - Usually ships in 3-4 weeks
Dependable Computing - EDCC-1
$304.00
Dependable Computing - EDCC-1
Paperback / softback
Available - Usually ships in 3-4 weeks
Computing in Object-Oriented Parallel Environments
$151.00
Computing in Object-Oriented Parallel Environments
Paperback / softback
Available - Usually ships in 3-4 weeks
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
$151.00
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
Paperback / softback
Available - Usually ships in 3-4 weeks
High Performance Computing
$303.00
High Performance Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Parallel Processing Technologies
$134.00
Advanced Parallel Processing Technologies
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Centered and Error-Resilient Systems Development
$155.00
Human-Centered and Error-Resilient Systems Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Learning and Knowledge Discovery in Databases. Research Track
$321.00
Machine Learning and Knowledge Discovery in Databases. Research Track
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithmic Game Theory
$269.00
Algorithmic Game Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Evolutionary Multi-Criterion Optimization
$269.00
Evolutionary Multi-Criterion Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.  
Release date NZ
January 11th, 2017
Contributors
  • Edited by Huibiao Zhu
  • Edited by Jonathan P Bowen
Pages
217
Edition
1st ed. 2017
Audience
  • Professional & Vocational
Illustrations
36 Illustrations, black and white; IX, 217 p. 36 illus.
Dimensions
155x235x12
ISBN-13
9783319522272
Product ID
26515569

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Human-computer interaction >
User interface design & usability