Emporta-te’n 3 i aconsegueix un 50% de descompte en el tercer amb el codi TRIPLE50
Revisat a mà
Enviament GRATIS
Segona vida
Formal Methods for Software Architectures
per Marco Bernardo, Paola Inverardi · Springer · tapa blanda · 296 pàg
9 persones veient aixòVist 2 vegades
3,9
Pàgines: 296 pàgAutor: Marco Bernardo, Paola InverardiEditorial: SpringerFormat: tapa blandaIdioma: enPublicació: 12/9/2003ISBN: ISBN 9783540200833
Tria l'estat de conservació
Què inclou cada estat
BoMarques visibles a la coberta. Contingut complet, íntegre i revisat.
GenialLleugeres marques a la coberta. Pàgines netes i llom en bon estat.
FantàsticMarques amb prou feines perceptibles. Interior impecable. Gairebé sense senyals d'ús.
Excel·lentSense marques visibles. Coberta, llom i pàgines impecables.
NouLlibre nou, sense ús. Demanat directament a fàbrica.
L'estat Nou només s'envia a Península, amb enviament gratuït en comandes a partir de 15 €. La resta d'estats tenen enviament gratuït sempre, sense import mínim.
* Tots els nostres productes són revisats curosament per fomentar la cultura sostenible.
Garantia de qualitat Hamelyn
Cada producte es revisa, neteja i verifica abans d'enviar-lo. Si no és el que esperaves, et retornem els diners.
Sinopsi de 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.
Més títols per a qui busca Marco Bernardo, Paola Inverardi
Recomanat per Julia
Sobre l'autor
Marco Bernardo
Descobreix llibres de segona mà de Marco Bernardo.
Neix el 196419 títols publicats
Veure la fitxa completaLlibres més venuts de Enginyeria del programari
Més venuts
Emporta't 3 i paga només 2 · TRIPLECAT
-
IVA inclòs