|
Books > Computing & IT > Applications of computing > Artificial intelligence > Natural language & machine translation
|
Buy Now
Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings (Paperback, 1st ed. 2022)
Loot Price: R1,627
Discovery Miles 16 270
|
|
|
Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings (Paperback, 1st ed. 2022)
Series: Lecture Notes in Computer Science, 13768
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 25th
Brazilian Symposium on Formal Methods, SBMF 2022, which was held
virtually in December 2022. The 8 regular papers presented in this
book were carefully reviewed and selected from 15 submissions. The
symposium focuses on the development, dissemination, and use of
formal methods for the construction of high-quality computational
systems, aiming to promote opportunities for researchers and
practitioners with an interest in formal methods to discuss the
recent advances in this area.
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
