لیست کتاب های کلمه کلیدی: #Programming theories

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