Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 December 1, 2017, Proceedings

Detalls del llibre

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.

Llegir més

ISBN13 9783319708478
ISBN10 3319708473
Pàgines 305
Any Edició 2017
Fecha de publicación 12/11/2017
Idioma Alemany, Francès

Llegir més

Ressenyes i valoracions

Sigues la primera persona a valorar-lo!

Has llegit Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 December 1, 2017, Proceedings?

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 December 1, 2017, Proceedings (Alemany, Francès)

Name: Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 December 1, 2017, Proceedings
Price: 67.92 EUR
Availability: OutOfStock
ISBN: 9783319708478