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

 
9783319498140: Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings: 10090 (Programming and Software Engineering)
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.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

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

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
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