Formal Methods: Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Szerző:
Márcio Cornélio, Bill Roscoe
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
15 402
Ft
This book§constitutes revised selected papers from the 18 th Brazilian Symposium§on Formal Methods,...
