Integrated Formal Methods | 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Elvira Albert (u. a.)

ISBN 10: 3319101803 / ISBN 13: 9783319101804

Published by Springer, 2014

About this Item

Integrated Formal Methods | 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings | Elvira Albert (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2014 | Springer | EAN 9783319101804 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 105178198

Bibliographic Details

• Title: Integrated Formal Methods | 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
• Publisher: Springer
• Publication Date: 2014
• Language: English
• ISBN 10: 3319101803
• ISBN 13: 9783319101804
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 22D millimeters 235 millimeters width by 155 millimeters height by 22 millimeters depth
• Weight: 610 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.