Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Programming and Software Engineering)
ISBN 10: 3319101803 ISBN 13: 9783319101804
Published by Springer, 2014
New
Soft cover
From
Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since March 25, 2015
This specific item is no longer available.
About this Item
Description:
In. Seller Inventory # ria9783319101804_new
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Integrated Formal Methods: 11th ...
Publisher: Springer
Publication Date: 2014
Binding: Soft cover
Condition: New