Prendine tre e pagane solo due con il codice TRIPLE
Controllato a mano
Spedizione GRATUITA
Seconda vita
Formal Methods for Software Architectures
di Marco Bernardo, Paola Inverardi · Springer · tapa blanda · 296 pag
9 persone stanno guardandoVisto 4 volte
3,9
Pagine: 296 pagAutore: Marco Bernardo, Paola InverardiEditore: SpringerFormato: tapa blandaLingua: enData di pubblicazione: 12/9/2003ISBN: ISBN 9783540200833
Scegli lo stato di conservazione
Cosa include ogni stato
BuonoSegni visibili sulla copertina. Contenuto completo, integro e revisionato.
GenialeLievi segni sulla copertina. Pagine pulite e dorso in buone condizioni.
FantasticoSegni appena percettibili. Interno impeccabile. Quasi nessun segno d'uso.
EccellenteNessun segno visibile. Copertina, dorso e pagine impeccabili.
NuovoLibro nuovo, non usato. Ordinato direttamente in fabbrica.
Lo stato Nuovo viene spedito solo in Italia, con spedizione gratuita per ordini a partire da 15 €. Gli altri stati hanno sempre spedizione gratuita, senza importo minimo.
* Tutti i nostri prodotti sono controllati con cura per promuovere una cultura sostenibile.
Garanzia qualità Hamelyn
Ogni prodotto viene controllato, pulito e verificato prima della spedizione. Se non è quello che ti aspettavi, ti rimborsiamo.
Sinossi di Formal Methods for Software Architectures
Este libro presenta las conferencias tutoriales impartidas por autoridades líderes en la Tercera Escuela Internacional sobre Métodos Formales para el Diseño de Sistemas Informáticos, de Comunicación y de Software, SFM 2003, celebrada en Bertinoro, Italia, en septiembre de 2003. El libro es ideal para cursos avanzados sobre arquitectura de software, así como para la formación continua de ingenieros de software que utilizan métodos formales en su trabajo profesional diario. En los últimos diez años, la arquitectura de software se ha convertido en una noción central en el desarrollo de sistemas de software complejos. La arquitectura de software es ahora aceptada en la comunidad de investigación y desarrollo de ingeniería de software como una abstracción manejable y significativa del sistema en desarrollo y se aplica a lo largo del ciclo de vida del desarrollo de software, desde el análisis y la validación de los requisitos hasta el diseño y hasta el nivel de código y ejecución.
Altri titoli per chi cerca Marco Bernardo, Paola Inverardi
Consigliato da Julia
Informazioni sull'autore
Marco Bernardo
Scopri libri di seconda mano di Marco Bernardo.
Nascita nel 196419 titoli pubblicati
Vedi la scheda completaLibri più venduti di Ingegneria del software
Più venduti
Prendi 3 e paghi solo 2 · TRIPLOIT
-
IVA inclusa