Buy Used and New Christiano Braga Books

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science)

by Christiano Braga,Narciso Martí-Oliet

ISBN 13: 9783319150741

Format: Paperback (192 pages)
Publisher: Springer
Published: 28 Feb 2015

Save for later

Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers: 9539 (Lecture Notes in Computer Science)

by Christiano Braga, Peter Csaba Ölveczky

ISBN 13: 9783319289335

Format: Paperback (344 pages)
Publisher: Springer
Published: 07 Mar 2016

Save for later