Formal Methods for Software Architectures
di Marco Bernardo, Paola Inverardi · Springer · tapa blanda · ISBN 9783540200833
3,9
7 persone stanno guardandoVisto 5 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: Marco Bernardo, Paola Inverardi
ISBN: 9783540200833
Editore: Springer
Lingua: Inglese
Formato: tapa blanda
Data di pubblicazione: 12/09/2003
Pagine: 296 pag
Dimensioni: 23.5 x 15.5 x 1.7 cm
Peso: 227 g
Sinossi di Formal Methods for Software Architectures
«Formal Methods for Software Architectures» è il volume di conferenze curato da Marco Bernardo e Paola Inverardi, in brossura, pubblicato da Springer.
L'architettura del software è diventata centrale nello sviluppo di sistemi complessi, applicandosi dall'analisi dei requisiti all'esecuzione. Questo volume riunisce lezioni tutoriali sui metodi formali: modellazione e analisi di componenti e connettori, assemblaggio corretto, evoluzione, calcolo mobile, prestazioni e affidabilità.
Volume 2804 della serie Lecture Notes in Computer Science. Corrisponde alla Terza Scuola Internazionale SFM 2003, tenutasi a Bertinoro (Italia) nel settembre 2003.
Pensato per studenti di corsi avanzati di architettura del software e per ingegneri che impiegano tecniche formali nel loro lavoro quotidiano.
Altri titoli per chi ha letto Formal Methods for Software Architectures di Marco Bernardo
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 disponibileUltima unità!5 persone lo hanno nel carrello
-
IVA inclusa