Symbolic Computation in Software Science
Stephen M. Watt
Sold by BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
AbeBooks Seller since 11 January 2012
New - Soft cover
Condition: New
Quantity: 2 available
Add to basketSold by BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
AbeBooks Seller since 11 January 2012
Condition: New
Quantity: 2 available
Add to basketThis item is printed on demand - it takes 3-4 days longer - Neuware -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. 129 pp. Englisch.
Seller Inventory # 9783031690419
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.
"About this title" may belong to another edition of this title.
Allgemeine Geschäftsbedingungen mit Kundeninformationen
Inhaltsverzeichnis
Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
Mängelhaftung
Anwendbares Recht
Gerichtsstand
Alternative Streitbeilegung
Der Versand ins Ausland findet IMMER mit DHL statt. Auch nach Österreich verschicken wir nur mit DHL! Daher Standardversand == Luftpost!
Order quantity | 1 to 14 business days | 1 to 14 business days |
---|---|---|
First item | £ 9.56 | £ 9.56 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.