Books of Shengchao Qin

Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

Published on: 2010

Beginner Unordered English

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in …

Formal Methods Theoretical Computer Science Software Engineering Programming Language Semantics Mathematical Models

Page 1 of 1