Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
1st ed. 2020
Book Details
Delivery Location
Delivery fee: Select location
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019.
The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops:
CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems?.
Get Software Engineering and Formal Methods by Javier Camara at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has 277 pages.
Customers Who Bought This Also Bought
Machine Learning with Python
KSh 14,750.00
Numerical Analysis
KSh 14,150.00
Numerical Nonsmooth Optimization
KSh 28,800.00
Cryptographic Engineering
KSh 39,600.00
Computability and Complexity Theory
KSh 13,500.00
Randomized Algorithms
KSh 14,650.00
Stochastic Approximation and Recursive Algorithms and Applications
KSh 32,400.00
Information Processing and Management of Uncertainty in Knowledge-Based Systems
KSh 19,800.00
Small Summaries for Big Data
KSh 9,550.00
Skew PBW Extensions
KSh 19,800.00
Handbook of Approximation Algorithms and Metaheuristics
KSh 10,500.00
Applications of Flower Pollination Algorithm and its Variants
KSh 23,400.00
