Books > Computing & IT > Applications of computing > Artificial intelligence > Natural language & machine translation
|
Buy Now
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers (Paperback, 1st ed. 2020)
Loot Price: R2,227
Discovery Miles 22 270
|
|
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers (Paperback, 1st ed. 2020)
Series: Lecture Notes in Computer Science, 12226
Expected to ship within 10 - 15 working days
|
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 .
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.