Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023,  Manaus, Brazil, December 4–8, 2023,  Proceedings - cover
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023,  Manaus, Brazil, December 4–8, 2023,  Proceedings - cover
Dati e Statistiche
Salvato in 0 liste dei desideri
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
Disponibilità in 2 settimane
69,20 €
69,20 €
Disponibilità in 2 settimane

Descrizione


This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

Dettagli

153 p.
Testo in English
235 x 155 mm
278 gr.
9783031493416
Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare productsafety@feltrinelli.it