Druck auf Anfrage Neuware - Printed after ordering - 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.

Codice articolo 9783031690419

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Symbolic Computation in Software Science : 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28�30, 2024, Proceedings
Editore: Springer International Publishing, Springer Nature Switzerland
Data di pubblicazione: 2024
Lingua: Inglese
ISBN 10: 3031690419
ISBN 13: 9783031690419
Rilegatura: Taschenbuch
Condizione: Neu
Dimensioni: 235 millimetri di larghezza per 155 millimetri di altezza per 9 millimetri di profondit�
Peso: 248 grammi

Descrizione articolo

Riassunto

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Das Unternehmen AHA-BUCH GmbH: Seit der Gr�ndung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisg�nstig wie m�glich ihren B�cherwunsch zu erf�llen. Unsere Firma besch�ftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine W�nsche! Auf �ber 3700 m2 Fl�che haben wir �ber 100.000 B�cher, Modernes Antiquariat und Spiele auf Lager.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

AHA-BUCH GmbH
Garlebsen 48, Einbeck, 37574, Germany

Condizioni di vendita e spedizione

Condizioni di vendita

Termini e condizioni generali e informazioni sul cliente / Informativa sulla privacy

I. Condizioni generali di contratto

� 1 Disposizioni di base

(1) I seguenti termini e condizioni si applicano a tutti i contratti che l'utente conclude con noi in qualit� di fornitore (AHA-BUCH GmbH) tramite le piattaforme Internet AbeBooks e/o ZVAB. Se non diversamente concordato, l'inclusione di uno qualsiasi dei tuoi termini e condizioni da te utilizzati sar� contestata.
(2) Un consumatore ai sensi delle segu...

Ulteriori informazioni

Diritto di recesso

Condizioni di spedizione

Spediamo il tuo ordine dopo averlo ricevuto
per articoli a portata di mano entro 24 ore,
per articoli con fornitura notturna entro 48 ore.
Nel caso in cui abbiamo bisogno di ordinare un articolo dal nostro fornitore, il nostro tempo di spedizione dipende dalla data di ricezione degli articoli, ma gli articoli verranno spediti lo stesso giorno.

Il nostro obiettivo � quello di inviare gli articoli ordinati nel modo pi� veloce, ma anche pi� efficiente e sicuro ai nostri clienti.

Tariffe di spedizione da Germania a U.S.A.

Tariffe di spedizione da Germania a U.S.A.
Quantit� dell?ordine	Da 30 a 40 giorni lavorativi	Da 7 a 14 giorni lavorativi
Primo articolo	EUR 61.24	EUR 71.24

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Informazioni dettagliate sul venditore