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

 
9783642357046: Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers: 7681 (Lecture Notes in Computer Science, 7681)
Softcover
ISBN 10: 3642357040 ISBN 13: 9783642357046
Publisher: Springer, 2013

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
3642357040
ISBN 13 
9783642357046
Binding
Paperback
Number of pages
257
Editor
Wolff Burkhard, Gaudel Marie-Claude, Feliachi Abderrahmane

Other Popular Editions of the Same Title

9783642357060: Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Featured Edition

ISBN 10:  3642357067 ISBN 13:  9783642357060
Publisher: Springer, 2013
Softcover