Fiadeiro / Cavalheiro | Formal Methods: Foundations and Applications | Buch | 978-3-319-70847-8 | sack.de

Buch, Englisch, 305 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 4803 g

Reihe: Programming and Software Engineering

Fiadeiro / Cavalheiro

Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
1. Auflage 2017
ISBN: 978-3-319-70847-8
Verlag: Springer International Publishing

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

Buch, Englisch, 305 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 4803 g

Reihe: Programming and Software Engineering

ISBN: 978-3-319-70847-8
Verlag: Springer International Publishing

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. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Fiadeiro / Cavalheiro Formal Methods: Foundations and Applications jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Fiadeiro, José
Cavalheiro, Simone

Fachgebiete

Weitere Infos & Material

Formal methods integration and experience reports.- Model checking.- Refinement and verification.- Semantics and languages.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.