Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4?6, 2024, Proceedings (Lecture Notes in Computer Science)

Editore

Springer

Data di pubblicazione

2024

Lingua

Inglese

ISBN 10

3031781155

ISBN 13

9783031781155

Rilegatura

Brossura

Condizione

New

Cataloghi dei venditori

Descrizione articolo

Riassunto

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit�ria, Brazil, during December 4–6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.

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

Descrizione libreria

We have 20 years experience selling books worldwide! Friendly customer support. Your satisfaction guaranteed!

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Miramar International Services LLC

Condizioni di vendita e spedizione

Condizioni di vendita

www.californiabooks.com

Diritto di recesso

Condizioni di spedizione

www.californiabooks.com

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

Tariffe di spedizione da U.S.A. a Italia
Quantit� dell?ordine	Da 14 a 30 giorni lavorativi	Da 5 a 8 giorni lavorativi
Primo articolo	EUR 7.67	EUR 42.61

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.