Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings by Dimitra GiannakopoulouSoftware Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings by Dimitra Giannakopoulou

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France…

byDimitra GiannakopoulouEditorGwen Sala

Paperback | August 4, 2014

Pricing and Purchase Info

$110.50

Earn 553 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.
The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
Title:Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France…Format:PaperbackDimensions:394 pagesPublished:August 4, 2014Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319104306

ISBN - 13:9783319104300

Reviews

Table of Contents

Program Verification.- Testing.- Component-Based Systems.- Real-Time and Embedded Systems.- Model Checking and Automata Learning.- Tool Papers.- Program Correctness.- Adaptive and Multi-Agent Systems.