Formal Aspects of Component Software

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

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

Autor: Christiano Braga, Peter Csaba Ölveczky

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.01 lei

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

Informații despre carte

Autor

Christiano Braga, Peter Csaba Ölveczky

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2016

Pagini

331

EAN

9783319289335

ISBN

3319289330

Enbook ID

02876381

Editura

Springer International Publishing AG

Greutate

5212

Dimensiuni

155 x 235 x 20

Descriere completă

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.§

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Aspects of Component Software

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și