Get Free Shipping on orders over $79
Frontiers of Combining Systems : 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 ¢" October 1, 2025, Proceedings - Christoph Weidenbach

Frontiers of Combining Systems

15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 ¢" October 1, 2025, Proceedings

By: Christoph Weidenbach (Editor), Rene Thiemann (Editor)

Paperback | 11 October 2025

At a Glance

Paperback


$64.56

or 4 interest-free payments of $16.14 with

 or 

Ships in 5 to 7 business days

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29–October 1, 2025.

The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical logic; satisfiability modulo theories; term rewrite systems; theorem proving; specific reasoning procedures; and proof checking.

More in Software Engineering

Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$38.75

22%
OFF
The Essence of Software Engineering - Cersei Page
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Object-Oriented and Classical Software Engineering - Global Edition : 8th Edition - Stephen R. Schach
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$26.75

44%
OFF
Developing Graphics Frameworks with Java and OpenGL - James Cona
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston