Get Free Shipping on orders over $89
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
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

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 | 24 April 2026

Sorry, we are not able to source the book you are looking for right now.

We did a search for other books with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your book.

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

Cisco Networking All-in-One For Dummies - Edward Tetz

RRP $82.95

$60.75

27%
OFF
Woodworking : The Complete Step-by-Step Manual - DK

RRP $55.00

$42.75

22%
OFF
Windows 11 For Dummies, 2nd Edition : Windows 11 For Dummies - Alan Simpson
Steve Jobs : The Exclusive Biography - Walter Isaacson

RRP $24.99

$21.75

13%
OFF
Arduino For Dummies : For Dummies (Computer/Tech) - John Nussey

RRP $49.95

$36.75

26%
OFF
3D Printing For Dummies : For Dummies (Computer/Tech) - Richard Horne
Microsoft Excel 365 Bible : Bible - Michael Alexander

RRP $90.95

$65.75

28%
OFF
Microsoft Project For Dummies : For Dummies (Computer/Tech) - Cynthia Snyder Dionisio
iPad For Seniors For Dummies : iPad for Seniors For Dummies - Dwight Spivey
Build Your Own PC Do-It-Yourself For Dummies : For Dummies (Computer/Tech) - Mark L. Chambers
Samsung Galaxy Tabs For Dummies : For Dummies (Computer/Tech) - Dan Gookin
Microsoft Planner For Dummies - Jim Boyce

RRP $49.95

$45.75

iPad and iPad Pro For Dummies - Paul McFedries

RRP $52.95

$40.75

23%
OFF
Applied Embedded Electronics : Design Essentials for Robust Systems - Jerry Twomey
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Linux Device Drivers : O'Reilly Software Ser. - Jonathan Corbet

RRP $104.75

$83.80

20%
OFF
The Nvidia Way : Jensen Huang and the Making of a Tech Giant - Tae Kim