|
![]() |
|||
|
||||
OverviewThis book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015. The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques. Full Product DetailsAuthor: Mehdi Dastani , Marjan SirjaniPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2015 Volume: 9392 Dimensions: Width: 15.50cm , Height: 1.80cm , Length: 23.50cm Weight: 4.978kg ISBN: 9783319246437ISBN 10: 3319246437 Pages: 317 Publication Date: 12 November 2015 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |