Free Delivery Over $100
|
|
|||
|
||||
OverviewThis book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial Automata Learning in Practice with the post-conference publication of selected contributions from the Tracks Process-Oriented Geoinformation Systems and Applications and Processes and Data Integration in the Networked Healthcare of ISoLA 2012. Full Product DetailsAuthor: Anna-Lena LamprechtPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Volume: 683 Dimensions: Width: 15.50cm , Height: 0.90cm , Length: 23.50cm Weight: 0.266kg ISBN: 9783319516400ISBN 10: 331951640 Pages: 157 Publication Date: 22 December 2016 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Not yet available  This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
