Get 3 and get 50% off the third with code TRIPLE50
Hand-checked
Free SHIPPING
Second life
Formal Methods for Software Architectures
by Marco Bernardo, Paola Inverardi · Springer · tapa blanda · 296 pages
10 people viewing thisViewed 4 times
3.9
Pages: 296 pagesAuthor: Marco Bernardo, Paola InverardiPublisher: SpringerFormat: tapa blandaLanguage: enRelease date: 12/9/2003ISBN: ISBN 9783540200833
Choose the condition
What each condition includes
AcceptableVisible marks on cover. Complete, intact content and inspected.
GoodLight marks on cover. Clean pages and spine in good shape.
Very GoodBarely noticeable marks. Pristine interior. Almost no signs of use.
Like NewNo visible marks. Cover, spine and pages flawless.
NewBrand-new book, unused. Ordered directly from the publisher.
New condition items ship only to the UK, with free shipping on orders from £15. All other conditions always include free shipping with no minimum order.
* All our products are carefully inspected to support sustainable culture.
Hamelyn quality guarantee
Every product is inspected, cleaned and verified before shipping. If it's not what you expected, we'll refund your money.
Synopsis of 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.
More titles for fans of Marco Bernardo, Paola Inverardi
Recommended by Julia
About the author
Marco Bernardo
Discover second-hand books by Marco Bernardo.
Born in 196419 titles published
View full profileBest-selling books in Software Engineering
Best sellers
Take 3, pay for only 2 · TRIPLEEN
-
VAT included