Get Free Shipping on orders over $0
Dependable Software Engineering. Theories, Tools, and Applications : 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1â"3, 2025, Proceedings - Amir Goharshady

Dependable Software Engineering. Theories, Tools, and Applications

11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1â"3, 2025, Proceedings

By: Amir Goharshady (Editor), Christoph Haase (Editor)

Paperback | 31 March 2026

At a Glance

Paperback


$180.75

or 4 interest-free payments of $45.19 with

 or 

Available: 31st March 2026

Preorder. Will ship when available.

This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1â"3, 2025. The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols.

More in Computer Hardware

iPad and iPad Pro For Dummies - Paul McFedries

RRP $52.95

$40.75

23%
OFF
Windows 11 For Dummies, 2nd Edition : Windows 11 For Dummies - Alan Simpson
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Applied Embedded Electronics : Design Essentials for Robust Systems - Jerry Twomey
Learning Git : A Hands-On and Visual Guide to the Basics of Git - Anna Skoulikari
Linux All-In-One For Dummies : For Dummies (Computer/Tech) - Richard Blum
MacBook For Dummies : Macbook for Dummies - Mark L. Chambers

RRP $49.95

$34.97

30%
OFF
Build Your Own PC Do-It-Yourself For Dummies : For Dummies (Computer/Tech) - Mark L. Chambers
Windows 11 All-in-One For Dummies, 2nd Edition : For Dummies - Ciprian Adrian Rusen
Samsung Galaxy Tabs For Dummies : For Dummies (Computer/Tech) - Dan Gookin
iPad For Seniors For Dummies : iPad for Seniors For Dummies - Dwight Spivey
The Nvidia Way : Jensen Huang and the Making of a Tech Giant - Tae Kim
Getting Started with 3D Printing : 2nd Edition - Liza Wallach Kloski

RRP $38.00

$21.75

43%
OFF
Tidy First? : A Personal Exercise in Empirical Software Design - Kent Beck