Davies / Silva / Simao | Formal Methods: Foundations and Applications | E-Book | sack.de
E-Book

E-Book, Englisch, Band 6527, 291 Seiten, eBook

Reihe: Lecture Notes in Computer Science

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
Erscheinungsjahr 2011
ISBN: 978-3-642-19829-8
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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

E-Book, Englisch, Band 6527, 291 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-642-19829-8
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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
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.