Formal Aspects of Component Software

10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

AvJosé Luiz Fiadeiro,Zhiming Liu

Häftad, Engelska, 2014

Del 8348 i serien Lecture Notes in Computer Science

549 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013.

Produktinformation

Utgivningsdatum:2014-07-30
Mått:155 x 235 x 22 mm
Vikt:598 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:385
Förlag:Springer International Publishing AG
ISBN:9783319076010

Utforska kategorier

Innehållsförteckning

Probabilistic modal specifications.- Orchestration.- Super-dense computation in verification of Hybrid CSP Processes.- A proof-carrying code approach to certificate auction mechanisms.- Towards verification of ensemble based component systems.