Formal Methods: Foundations and Applications

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings

AvJuliano Iyoda,Leonardo de Moura

Häftad, Engelska, 2013

Del i serien Lecture Notes in Computer Science

508 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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.

Produktinformation

Utgivningsdatum:2013-09-13
Mått:155 x 235 x 15 mm
Vikt:394 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:243
Upplaga:2013
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642410703

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Foundational and methodological issues in formal methods.- Design and analysis of software systems.- Design and analysis of hardware systems.- Applications in various domains.