Central Library

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
Formal Aspects of Component Software [electronic resource] : 12th International Conference, FACS 2015, Niter�oi, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba �Olveczky.

by Braga, Christiano [editor.] | �Olveczky, Peter Csaba [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Macei�o, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Mart�i-Oliet.

by Braga, Christiano [editor.] | Mart�i-Oliet, Narciso [editor.] | SpringerLink (Online service).

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

Formal Aspects of Component Software [electronic resource] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky.

by Braga, Christiano [editor.] | Ölveczky, Peter Csaba [editor.] | SpringerLink (Online service).

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

Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet.

by Braga, Christiano [editor.] | Martí-Oliet, Narciso [editor.] | SpringerLink (Online service).

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