New Arrivals/Restock

Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings (Programming and Software Engineering) 1st ed. 2018 Edition

flash sale iconLimited Time Sale
Until the end
13
47
32

US$32.99 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$22.00
quantity

Product details

Management number 222470200 Release Date 2026/05/04 List Price US$22.00 Model Number 222470200
Category

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems. Read more

ISBN10 9783319999326
ISBN13 978-3319999326
Edition 1st ed. 2018
Language English
Publisher Springer
Dimensions 6.1 x 0.49 x 9.25 inches
Item Weight 10.9 ounces
Print length 215 pages
Publication date August 26, 2018

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