Formal Aspects of Component Software

Name: Formal Aspects of Component Software
Brand: Springer International Publishing AG
SKU: 9783319289335
Price: 52.77 EUR
Availability: InStock

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Автор: Christiano Braga, Peter Csaba Ölveczky

Език:

Корици: С меки корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.77 € 103.22 лв

This book§constitutes the revised selected papers§from the 12th International Conference on Formal A...

Информация за книгата

Автор

Christiano Braga, Peter Csaba Ölveczky

Език

Английски език

Корици

Книга - С меки корици

Издадена

2016

страници

331

EAN

9783319289335

ISBN

3319289330

Enbook ID

02876381

Издател

Springer International Publishing AG

Теглоt

5212

Размери

155 x 235 x 20

Пълно описание

This book§constitutes the revised selected papers§from the 12th International Conference on Formal Aspects of Component§Software, FACS 2015, held in Niteról, Brazil, in October 2015.§§The 15 full§papers and 2 invited papers presented in this volume were carefully reviewed§and selected from 33 submissions. They are organized in topical sections,§namely quality of service to withstand faults, component-based software development through research on§mathematical models for components, composition and adaptation; rigorous§approaches to verification, deployment, testing, and certification.§

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също