|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Loot Price: R1,537
Discovery Miles 15 370
|
|
|
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Series: Lecture Notes in Computer Science, 12524
Expected to ship within 10 - 15 working days
|
This volume constitutes the revised selected papers from the three
workshops collocated with the 18th International Conference on
Software Engineering and Formal Methods, SEFM 2020, held in
Amsterdam, The Netherlands, in September 2020. The 15 full papers
presented together with 8 short papers in this volume were
carefully reviewed and selected from a total of 35 submissions. The
contributions that are collected in this volume have been selected
from the presentations at the following workshops: ASYDE 2020:
Second International Workshop on Automated and Verifiable Software
System Development; CIFMA 2020: Second International Workshop on
Cognition: Interdisciplinary Foundations, Models and Applications;
and CoSim-CPS 2020: Fourth International Workshop on Formal
Co-Simulation of Cyber-Physical Systems. Due to the Corona pandemic
this event was held virtually.
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!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
