Symbolic Computation in Software Science, Kartoniert / Broschiert

Symbolic Computation in Software Science

Buch

10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 120,46

Verlängerter Rückgabezeitraum bis 31. Januar 2026

Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2025 gekauft wurden, können bis zum 31. Januar 2026 zurückgegeben werden.

Versandkosten (United States of America): EUR 19,90

Herausgeber:: Stephen M. Watt, Tetsuo Ida
Verlag:: Springer, 08/2024
Einband:: Kartoniert / Broschiert, Paperback
Sprache:: Englisch
ISBN-13:: 9783031690419
Artikelnummer:: 11952982
Umfang:: 156 Seiten
Gewicht:: 248 g
Maße:: 235 x 155 mm
Stärke:: 9 mm
Erscheinungstermin:: 28.8.2024
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.

The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite systems, and sound handling of branches of inverse functions.