کتاب های نویسنده David Naumann (eds.)

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Published on: 2012

Intermediate novel English

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, …

Formal Methods Foundations SBMF 2012 Symposium Proceedings

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

تماس با پشتیبان