Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Programming and Software Engineering, Band 10090) - Softcover

 
9783319498140: Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Programming and Software Engineering, Band 10090)
Softcover
ISBN 10: 3319498142 ISBN 13: 9783319498140
Verlag: Springer, 2016

Inhaltsangabe

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.

The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.


Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2016
Sprache
Englisch
ISBN 10 
3319498142
ISBN 13 
9783319498140
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
264
Herausgeber
Ribeiro Leila, Lecomte Thierry
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783319498164: Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Vorgestellte Ausgabe

ISBN 10:  3319498169 ISBN 13:  9783319498164
Verlag: Springer, 2016
Softcover