Formal Methods: Foundations and Applications
14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Szerző:
Adenilso Simao, Carroll Morgan
Elérhetőség:
Beszállítói készleten
Küldés 10-18 napon belül
22 932
Ft
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp...