Frontiers of Combining Systems

Discover the cutting-edge research in "Frontiers of Combining Systems," authored by Carsten Lutz and published by Springer International Publishing AG in 2015. This comprehensive volume features the proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS 2015), which took place in Wroclaw, Poland. Spanning 357 pages, this first edition showcases 20 meticulously reviewed papers selected from a competitive pool of 34 submissions. The book delves into advanced decision procedures and verification techniques, making it an essential resource for researchers and practitioners in the field. Enhance your understanding of combining systems with this insightful and authoritative collection.