کتاب های نویسنده 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