Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Not currently available
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Paperback, 1st ed. 2021)
Loot Price: R3,241
Discovery Miles 32 410
|
|
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Paperback, 1st ed. 2021)
Series: Programming and Software Engineering, 13047
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
This book constitutes the refereed proceedings of the 24th
Symposium on Formal Methods, FM 2021, held virtually in November
2021. The 43 full papers presented together with 4 invited
presentations were carefully reviewed and selected from 131
submissions. The papers are organized in topical sections named:
Invited Presentations. - Interactive Theorem Proving, Neural
Networks & Active Learning, Logics & Theory, Program
Verification I, Hybrid Systems, Program Verification II, Automata,
Analysis of Complex Systems, Probabilities, Industry Track Invited
Papers, Industry Track, Divide et Impera: Efficient Synthesis of
Cyber-Physical System.
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.