Autor: Juliano Iyoda

Ajutor

1 Ebooks de Juliano Iyoda

Juliano Iyoda & Leonardo de Moura: Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented …
PDF
Engleză
DRM
€51.57