New Arrivals/Restock

Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings (Theoretical Computer Science and General Issues)

flash sale iconLimited Time Sale
Until the end
01
36
16

US$28.44 cheaper than the new price!!

Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
Used  US$18.96
quantity

Product details

Management number 231994430 Release Date 2026/06/18 List Price US$18.96 Model Number 231994430
Category

​This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; and design principles. Read more

ISBN10 3319661965
ISBN13 978-3319661964
Edition 1st ed. 2017
Language English
Publisher Springer
Dimensions 6.1 x 0.98 x 9.25 inches
Item Weight 1.33 pounds
Print length 429 pages
Publication date August 15, 2017

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Product Review

You must be logged in to post a review