Books of Abderrahmane Feliachi (eds.)

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

Published on: 2013

Beginner Set Theory English

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in …

Formal Methods Software Engineering Program Semantics Theoretical Computer Science Verification

Page 1 of 1