Titolo: Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings: 15841 (Lecture Notes in Computer Science, 15841)
Editore: Springer
Data di pubblicazione: 2025
Lingua: Inglese
ISBN 10: 303198207X
ISBN 13: 9783031982071
Rilegatura: Brossura
Condizione: New

Descrizione articolo

Riassunto

This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14–16, 2025.
The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.
The papers present the latest developments in formal and theoretical software engineering methods and techniques.
They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis.

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

Descrizione libreria

Kennys.ie is the largest exporter of books from Ireland currently exporting to approximately 100 countries around the world. Kennys Bookshop houses hundreds of thousands of books and specialises in collection development and library services, supplying booksellers and state and university libraries on a global scale including the U.S.A.,Japan and Europe. Kennys.ie is Ireland's Largest Online Bookshop.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Kennys Bookshop and Art Galleries Ltd.
Liosban Industrial Estate, Tuam Road, Galway, Ireland

Condizioni di vendita e spedizione

Condizioni di vendita

Terms of Sale - Credit Cards: Visa, Master Card, American Express, Diner.
Payment can also be made by bank draft in Euros, drawn on an Irish Bank.

We regret that PO Boxes are not acceptable to the U.S. as our courier will not deliver to them.

In case of returns or queries please contact us by email books@kennys.ie or by phone +353 91 709350

VAT Registration - IE2238521A

Conor Kenny

Diritto di recesso

Condizioni di spedizione

Free Shipping

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

Tariffe di spedizione da Irlanda a U.S.A.
Quantit� dell?ordine	Da 12 a 22 giorni lavorativi	Da 10 a 20 giorni lavorativi
Primo articolo	EUR 10.50	EUR 11.50

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.