Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Paperback(2014)

$69.99
Choose Expedited Shipping at checkout for guaranteed delivery by Wednesday, May 1

Product Details

ISBN-13: 9783319076010
Publisher: Springer International Publishing
Publication date: 06/13/2014
Series: Lecture Notes in Computer Science , #8348
Edition description: 2014
Pages: 385
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews