Verification, Model Checking, and Abstract Interpretation by Dirk Beyer Ph D
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.-
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
-
Replication
-
The Design of Intelligent Agents
-
Integrated Uncertainty in Knowledge Modelling and Decision Making
-
Speech and Computer
-
Aging Friendly Technology for Health and Independence
-
Model-Based Engineering of Embedded Real-Time Systems
- Machine Learning and Knowledge Discovery in Databases. Research Track
-
End-User Development
-
String Processing and Information Retrieval
-
RoboCup 2025: Robot World Cup XXVIII
-
Automated Reasoning
-
Future and Emergent Trends in Language Technology
-
Artificial General Intelligence
-
Foundations of Intelligent Systems
-
Advanced Intelligent Computing Technology and Applications
-
Advances and Trends in Artificial Intelligence. Theory and Applications
-
Knowledge Science, Engineering and Management
-
Case-Based Reasoning Research and Development
-
Bioinformatics Research and Applications
-
Artificial Intelligence in Medicine
-
Transactions on Data Hiding and Multimedia Security V
-
Artificial Intelligence in HCI
-
Artificial Intelligence in Education
-
Towards Autonomous Robotic Systems
-
Combinatorial Image Analysis
-
Multimodal Brain Image Analysis
| SKU | Unavailable |
| ISBN 13 | 9783030393212 |
| ISBN 10 | 3030393216 |
| Title | Verification, Model Checking, and Abstract Interpretation |
| Author | Dirk Beyer Ph D |
| Series | Lecture Notes In Computer Science Ser |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Nature Switzerland AG |
| Year published | 2020-02-07 |
| Number of pages | 471 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |