Davies / Silva / Simao | Formal Methods: Foundations and Applications | Buch | 978-3-642-19828-1 | sack.de

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

Reihe: Programming and Software Engineering

Davies / Silva / Simao

Formal Methods: Foundations and Applications

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
1. Auflage 2011
ISBN: 978-3-642-19828-1
Verlag: Springer

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

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

Reihe: Programming and Software Engineering

ISBN: 978-3-642-19828-1
Verlag: Springer

This book constitutes the thoroughly refereed post-conference
proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF
2010, held in Natal, Brazil, in November 2010.

The 18 revised full papers were carefully reviewed and selected from
55 submissions. The papers presented cover a broad range of foundational
and methodological issues in formal methods for the design and analysis
of software and hardware systems as well as applications in various
domains.

Davies / Silva / Simao Formal Methods: Foundations and Applications jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Davies, Jim
Silva, Leila
Simao, Adenilso

Fachgebiete

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.