Get 3 and get 50% off the third with promo code TRIPLE50
Hand-checked
Free SHIPPING
Second life
Formal Methods for Software Architectures
by Marco Bernardo, Paola Inverardi · Springer · tapa blanda · 296 pages
9 people viewing thisViewed 3 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
Acceptable — heavy use; complete and functionalVisible marks on cover. Complete, intact content and inspected.
Good — clearly used but complete and fully usableLight marks on cover. Clean pages and spine in good shape.
Very Good — minimal, barely noticeable wearBarely noticeable marks. Pristine interior. Almost no signs of use.
Like New — no visible signs of useNo visible marks. Cover, spine and pages flawless.
New — sealed / brand newBrand-new book, unused. Ordered directly from the publisher.
New condition items ship 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 · TRIPLEUS
-
VAT included