Formal Aspects of Component Software by Jos Fiadeiro
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.-
To the Ends of the Earth
-
Computational Logic in Multi-Agent Systems
-
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
-
Computational and Corpus-Based Phraseology
-
Replication
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Genetic Programming
-
Transactional Agents
-
Computer Safety, Reliability, and Security
-
Performance Evaluation of Complex Systems: Techniques and Tools
-
Evolutionary Computation in Combinatorial Optimization
-
Computer Vision – ECCV 2026
-
Computer Security – ESORICS 2026
-
Machine Learning and Knowledge Discovery in Databases. Research Track
-
Artificial Neural Networks and Machine Learning – ICANN 2026
-
Medical Image Computing and Computer Assisted Intervention – MICCAI 2026
-
Application and Theory of Petri Nets and Concurrency
-
Artificial Neural Networks in Pattern Recognition
Editors: Jonathan P. Bowen, London Southbank University, UK;
Zhiming Liu, Southwest University, Chongqing, China;
Zili Zhang, Southwest University, Chongqing, China
Zhiming Liu, Southwest University, Chongqing, China;
Zili Zhang, Southwest University, Chongqing, China
| SKU | Unavailable |
| ISBN 13 | 9783319076010 |
| ISBN 10 | 3319076019 |
| Title | Formal Aspects of Component Software |
| Author | Zhiming Liu |
| Series | Lecture Notes In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer International Publishing AG |
| Year published | 2014-07-30 |
| Number of pages | 385 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |