Formal methods, foundations and applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full pap...

وصف كامل

التفاصيل البيبلوغرافية

مؤلفون مشاركون:	Brazilian Symposium on Formal Methods Sâo Paulo, Brazil, SpringerLink (Online service)
مؤلفون آخرون:	Simao, Adenilso, Morgan, Carroll
التنسيق:	Electronic Resource
اللغة:	English
منشور في:	Berlin, Heidelberg Springer c2011.
سلاسل:	LNCS sublibrary. SL 2, Programming and software engineering
الموضوعات:	Formal methods (Computer science) > Congresses. Electronic books.
الوصول للمادة أونلاين:	Available for University of the Philippines Diliman via SpringerLink. Click here to access