Get Free Shipping on orders over $79
Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers - David Naumann

Unifying Theories of Programming

5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

By: David Naumann (Editor)

Paperback | 4 February 2015

At a Glance

Paperback


$64.99

or 4 interest-free payments of $16.25 with

 or 

Ships in 5 to 7 business days

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.

More in Programming & Scripting Languages

The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$72.99

32%
OFF
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
Introduction to Programming Languages - Gordon Hurley
Typesetting Mathematics With Latex - Robert Legato
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$64.75

51%
OFF
PHP, MySQL, & JavaScript All-In-One For Dummies : For Dummies - Richard Blum
Learning Go : An Idiomatic Approach to Real-World Go Programming - Jon Bodner