Mondadori Store

Trova Mondadori Store

Benvenuto
Accedi o registrati

lista preferiti

Per utilizzare la funzione prodotti desiderati devi accedere o registrarti

Vai al carrello
 prodotti nel carrello

Totale  articoli

0,00 € IVA Inclusa

Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications


pubblicato da Springer Nature Switzerland

voto 0 su 5   dai un voto
Prezzo online:
51,99 €
Acquista eBook
Prenota e ritira Aggiungi ai preferiti
Condividi
facebook tweet linkedin whatsapp

Mondadori Store e Kobo
tooltip arrow Vuoi saperne di più? leggi le nostre FAQ »

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.

0 recensioni dei lettori  media voto 0  su  5

Scrivi una recensione per "Formal Methods: Foundations and Applications"

Formal Methods: Foundations and Applications
 

Accedi o Registrati  per aggiungere una recensione

usa questo box per dare una valutazione all'articolo: leggi le linee guida
torna su Torna in cima