Symbolic Computation in Software Science

Discover the cutting-edge insights in "Symbolic Computation in Software Science," authored by Stephen Watt and published by Springer International Publishing AG in 2024. This essential volume presents the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), held in Tokyo, Japan, from August 28-30, 2024.

With a total of 129 pages, this paperback edition features seven meticulously reviewed papers selected from a competitive pool of 25 submissions, showcasing the latest advancements and research in the field. Perfect for researchers, scholars, and practitioners, this book provides a comprehensive overview of symbolic computation's role in software science, making it a valuable addition to any academic library.

Stay ahead in the rapidly evolving world of software science with this insightful publication that bridges theory and practical application.