Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : Revised Selected Papers - Lecture Notes in Computer Science

UTP (Symposium), Burkhart Wolff (editor of compilation), M.-C. Gaudel (editor of compilation), Abderrahmane Feliachi (editor of compilation)

2013

Paperback (04 Jan 2013)

Save $6.59

RRP $58.28
$51.69

In Stock

Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.

Book information

ISBN:	9783642357046
Publisher:	Springer Berlin Heidelberg
Imprint:	Springer
Pub date:	04 Jan 2013
Edition:	2013
DEWEY:	005.1
DEWEY edition:	23
Language:	English
Number of pages:	247
Weight:	403g
Height:	234mm
Width:	156mm
Spine width:	13mm