Formal Aspects of Component Software
di Diego Marmsoler, Meng Sun · Springer · tapa blanda · ISBN 9783031712609
3,8
10 persone stanno guardandoVisto 2 volte
-
IVA inclusa
Spedizione GRATIS · arriva il 28 ott
Reso gratuito entro 30 giorni
Paga con:
Offerte disponibili per stato
Garanzia qualità Hamelyn · controllato e verificato, o ti rimborsiamo
Dettagli del prodotto
Autore: Diego Marmsoler, Meng Sun
ISBN: 9783031712609
Editore: Springer
Lingua: Inglese
Formato: tapa blanda
Data di pubblicazione: 17/10/2024
Pagine: 138 pag
Dimensioni: 23.4 x 15.6 x 0.9 cm
Peso: 245 g
Sinossi di Formal Aspects of Component Software
«Formal Aspects of Component Software» è il libro degli atti della conferenza FACS 2024, a cura di Diego Marmsoler e Meng Sun (Springer, brossura).
Il volume riunisce i lavori selezionati della ventesima edizione della conferenza, incentrati sull'analisi formale del software a componenti. Gli otto testi trattano di verifica e test, modelli formali e sicurezza con blockchain, e mostrano approcci attuali per la progettazione e la composizione di sistemi software.
Volume 15189 di Lecture Notes in Computer Science; atti della 20a Conferenza Internazionale FACS 2024, tenutasi a Milano il 9 e 10 settembre 2024.
Per ricercatori e professionisti che lavorano con metodi formali, verifica del software e sicurezza blockchain.
Altri titoli per chi ha letto Formal Aspects of Component Software di Diego Marmsoler
Consigliato da Julia
Libri più venduti di Ingegneria del software
Più venduti
Visual Mobile AppInventor per gli utenti finali di telefonia mobile
Tapa blanda
31,46€42,67€
1 offerta disponibile
Ultima unità!4 persone lo hanno nel carrello
-
IVA inclusa