|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings (Paperback, 1st ed. 2021)
Loot Price: R2,380
Discovery Miles 23 800
|
|
|
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings (Paperback, 1st ed. 2021)
Series: Theoretical Computer Science and General Issues, 13085
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 19th
International Conference on Software Engineering and Formal
Methods, SEFM 2021, held as a virtual event, in December 2021. The
22 full papers presented together with 4 short papers were
carefully reviewed and selected from 86 submissions. Also included
are 2 invited talks and an abstract of a keynote talk. The papers
cover a large variety of topics, including testing, formal
verification, program analysis, runtime verification,
meta-programming and software development and evolution. Chapter
'Configuration Space Exploration for Digital Printing Systems' is
available open access under a Creative Commons Attribution 4.0
International License via link.springer.com.
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.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
