Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Formal Methods: Foundations and Applications [electronic resource] : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / edited by Juliano Iyoda, Leonardo de Moura.

by Iyoda, Juliano [editor.] | Moura, Leonardo de [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Formal Methods: Foundations and Applications [electronic resource] : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings / edited by Juliano Iyoda, Leonardo de Moura.

by Iyoda, Juliano [editor.] | de Moura, Leonardo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available