Formal Aspects of Component Software

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

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Programming, Software Development, General Computing
Cover of the book Formal Aspects of Component Software by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319076027
Publisher: Springer International Publishing Publication: June 12, 2014
Imprint: Springer Language: English
Author:
ISBN: 9783319076027
Publisher: Springer International Publishing
Publication: June 12, 2014
Imprint: Springer
Language: English

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. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.

More books from Springer International Publishing

Cover of the book Maxillofacial Cone Beam Computed Tomography by
Cover of the book Social Management by
Cover of the book Graph Drawing and Network Visualization by
Cover of the book Towards a Spin-Ensemble Quantum Memory for Superconducting Qubits by
Cover of the book Black-body Radiative, Thermodynamic, and Chromatic Functions: Tables in Finite Spectral Ranges by
Cover of the book Computing and Philosophy by
Cover of the book Minority Rights and the National Question in Nigeria by
Cover of the book Strain Variation in the Mycobacterium tuberculosis Complex: Its Role in Biology, Epidemiology and Control by
Cover of the book Hysterectomy by
Cover of the book Ethical Dilemmas of Migration by
Cover of the book Advances in National Brand and Private Label Marketing by
Cover of the book Theory and Practice of Natural Computing by
Cover of the book Information Fusion and Geographic Information Systems (IF&GIS' 2015) by
Cover of the book Investing in Resource Efficiency by
Cover of the book Seeing Cities Through Big Data by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy