Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Buy Now

Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Paperback, 1st ed. 2021) Loot Price: R3,336
Discovery Miles 33 360
Repayment Terms: R313 pm x 12*
Add to cart
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Paperback, 1st ed....

Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Paperback, 1st ed. 2021)

Marieke Huisman, Corina Pasareanu, Naijun Zhan

Series: Programming and Software Engineering, 13047

 (sign in to rate)
Loot Price R3,336 Discovery Miles 33 360 | Repayment Terms: R313 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Programming and Software Engineering, 13047
Release date: November 2021
First published: 2021
Editors: Marieke Huisman • Corina Pasareanu • Naijun Zhan
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 800
Edition: 1st ed. 2021
ISBN-13: 978-3-03-090869-0
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
Promotions
LSN: 3-03-090869-0
Barcode: 9783030908690

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..

Exploring Future Opportunities of Brain-Inspired Artificial Intelligence (Hardcover): Madhulika Bhatia, Tanupriya Choudhury,...
Exploring Future Opportunities of…
Madhulika Bhatia, Tanupriya Choudhury, … Hardcover R7,386 Discovery Miles 73 860
Intelligent Environments - Advanced Systems for a Healthy Planet (Paperback, 2nd edition): P. Droege
Intelligent Environments - Advanced…
P. Droege Paperback R4,495 Discovery Miles 44 950
Applied Affective Computing (Hardcover): Leimin Tian, Sharon Oviatt, Michal Muszynski, Brent Chamberlain, Jennifer Healey,...
Applied Affective Computing
Leimin Tian, Sharon Oviatt, … Hardcover R2,677 Discovery Miles 26 770
Pattern-Based Constraint Satisfaction and Logic Puzzles - Third Edition, Hardcover (Hardcover): Denis Berthier
Pattern-Based Constraint Satisfaction…
Denis Berthier Hardcover R2,007 Discovery Miles 20 070
Probabilistic and Causal Inference - The Works of Judea Pearl (Hardcover): Hector Geffner, Rina Dechter, Joseph Halpern
Probabilistic and Causal Inference - The…
Hector Geffner, Rina Dechter, … Hardcover R4,300 Discovery Miles 43 000
Recent Trends in Computational Intelligence Enabled Research - Theoretical Foundations and Applications (Paperback): Siddhartha...
Recent Trends in Computational…
Siddhartha Bhattacharyya, Paramartha Dutta, … Paperback R3,608 Discovery Miles 36 080
The Future You - How Artificial Intelligence Can Help You Get Healthier, Stress Less, and Live Longer: How Artificial...
The Future You - How Artificial…
Harry Glorikian Hardcover R819 Discovery Miles 8 190
Research Anthology on Artificial Neural Network Applications, VOL 3 (Hardcover): Information R Management Association
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,397 Discovery Miles 143 970
Research Anthology on Artificial Neural Network Applications, VOL 2 (Hardcover): Information R Management Association
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,387 Discovery Miles 143 870
Research Anthology on Artificial Neural Network Applications, VOL 1 (Hardcover): Information R Management Association
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R14,381 Discovery Miles 143 810
Foundation Models for Natural Language Processing - Pre-trained Language Models Integrating Media (Hardcover, 1st ed. 2023):...
Foundation Models for Natural Language…
Gerhard PaaƟ, Sven Giesselbach Hardcover R1,354 R898 Discovery Miles 8 980
The Future of Technology in Education - How AI Will Transform the Learning and Teaching Process Forever (Hardcover): Harib...
The Future of Technology in Education…
Harib Shaqsy Hardcover R929 R782 Discovery Miles 7 820

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners