Køb for 499 kr mere for gratis levering til pakkeshop
499 kr
Pakkeshop
599 kr
Hjemmelevering
Gemte
Log ind
0
Kurv
Kurv
Formal Aspects of Component Software
- 13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016, Revised Selected Papers
Engelsk
Bogcover for Formal Aspects of Component Software af , 9783319576657
Specifikationer
Sprog:
Engelsk
Sider:
281
ISBN-13:
9783319576657
Indbinding:
Paperback
ISBN-10:
3319576658
Kategori:
Udg. Dato:
13 apr 2017
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
13 apr 2017

Formal Aspects of Component Software

- 13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016, Revised Selected Papers
Engelsk
Paperback 2017
Format:

Bog beskrivelse
This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besançon, France, in October 2016.

The 11 full papers presented together with one tool paper and 3 invited papers were carefully reviewed and selected from 27 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

... Vis mere

Forlags Vejl. pris
524,24 kr
Hos Booktok
409 kr
spar 22%
Læg i kurv nu
Sikker betaling
90 dages retur
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
281
ISBN-13:
9783319576657
Indbinding:
Paperback
ISBN-10:
3319576658
Kategori:
Udg. Dato:
13 apr 2017
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
13 apr 2017
Finder produkter...
Kategori sammenhænge