Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Lecture Notes in Computer Science) - Paperback

Springer

Release Date 8/14/2013
ISBN-13 9783642405600 |
ISBN 3642405606 |
Format Paperback
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

About our price comparison.

Give us feedback

Got an opinion on this product? Review it!

FindersCheapers strives to maintain the accuracy of product and pricing information displayed on our site, but we do not guarantee the accuracy of the information. If there is a pricing, coupon, or other information discrepancy between FindersCheapers and a merchant's site then the information on the merchant's site will apply. FindersCheapers cannot be held liable for any actions taken based on the information provided and FindersCheapers shall not be held responsible for any loss or damage resulting from business conducted with companies listed on FindersCheapers. FindersCheapers receives compensation from all merchants whose products are displayed. Refer to our Conditions of Use and About Us pages for complete details. To report a pricing error, click here.

Conditions of Use Privacy Notice About Us