List of Books in Keyword #System behavior

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Published on: 2015

Beginner Set Theory English

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

Formal methods Programming theories Software design Mathematical models System behavior

Page of