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,020
Discovery Miles 30 200
Repayment Terms: R283 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,020 Discovery Miles 30 200 | Repayment Terms: R283 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 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..

Conversations With AI - Wrestling With Truth, Faith And The Future In A World Of Machines (Paperback): Eugene Verster
Conversations With AI - Wrestling With…
Eugene Verster Paperback R300 R240 Discovery Miles 2 400
How To Talk To AI - (And How Not To) (Paperback): Jamie Bartlett
How To Talk To AI - (And How Not To)
Jamie Bartlett Paperback R320 R249 Discovery Miles 2 490
Reachable Sets of Dynamic Systems - Uncertainty, Sensitivity, and Complex Dynamics (Paperback): Stanislaw Raczynski
Reachable Sets of Dynamic Systems…
Stanislaw Raczynski Paperback R3,927 Discovery Miles 39 270
Intelligent Environments - Advanced Systems for a Healthy Planet (Paperback, 2nd edition): P. Droege
Intelligent Environments - Advanced…
P. Droege Paperback R4,334 Discovery Miles 43 340
Implementation of Smart Healthcare Systems using AI, IoT, and Blockchain (Paperback): Chinmay Chakraborty, Subhendu Kumar Pani,...
Implementation of Smart Healthcare…
Chinmay Chakraborty, Subhendu Kumar Pani, … Paperback R2,572 Discovery Miles 25 720
Pattern-Based Constraint Satisfaction and Logic Puzzles - Third Edition, Hardcover (Hardcover): Denis Berthier
Pattern-Based Constraint Satisfaction…
Denis Berthier Hardcover R1,920 Discovery Miles 19 200
Blockchain Technology for Emerging Applications - A Comprehensive Approach (Paperback): S. K. Hafizul Islam, Arup Kumar Pal,...
Blockchain Technology for Emerging…
S. K. Hafizul Islam, Arup Kumar Pal, … Paperback R2,941 Discovery Miles 29 410
5G IoT and Edge Computing for Smart Healthcare (Paperback): Akash Kumar Bhoi, Victor Hugo Costa de Albuquerque, Samarendra Nath...
5G IoT and Edge Computing for Smart…
Akash Kumar Bhoi, Victor Hugo Costa de Albuquerque, … Paperback R2,588 Discovery Miles 25 880
Exploring Future Opportunities of Brain-Inspired Artificial Intelligence (Hardcover): Madhulika Bhatia, Tanupriya Choudhury,...
Exploring Future Opportunities of…
Madhulika Bhatia, Tanupriya Choudhury, … Hardcover R7,400 Discovery Miles 74 000
Research Anthology on Artificial Neural Network Applications, VOL 3 (Hardcover): Information R Management Association
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R12,947 Discovery Miles 129 470
Research Anthology on Artificial Neural Network Applications, VOL 2 (Hardcover): Information R Management Association
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R12,938 Discovery Miles 129 380
Research Anthology on Artificial Neural Network Applications, VOL 1 (Hardcover): Information R Management Association
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R12,932 Discovery Miles 129 320

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