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,272
Discovery Miles 32 720
Repayment Terms: R307 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,272 Discovery Miles 32 720 | Repayment Terms: R307 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,249 Discovery Miles 72 490
Applied Affective Computing (Hardcover): Leimin Tian, Sharon Oviatt, Michal Muszynski, Brent Chamberlain, Jennifer Healey,...
Applied Affective Computing
Leimin Tian, Sharon Oviatt, … Hardcover R2,630 Discovery Miles 26 300
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,211 Discovery Miles 42 110
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 R820 Discovery Miles 8 200
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,050 Discovery Miles 140 500
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,040 Discovery Miles 140 400
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,034 Discovery Miles 140 340
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 R906 R783 Discovery Miles 7 830
Deep Learning Applications for Cyber-Physical Systems (Hardcover): Monica R. Mundada, Seema S., Srinivasa K. G, M. Shilpa
Deep Learning Applications for…
Monica R. Mundada, Seema S., … Hardcover R7,211 Discovery Miles 72 110
Socrates Digital (TM) for Learning and Problem Solving (Hardcover): Mark Salisbury
Socrates Digital (TM) for Learning and…
Mark Salisbury Hardcover R6,432 Discovery Miles 64 320
Real-time Linked Dataspaces (Hardcover): Edward Curry
Real-time Linked Dataspaces
Edward Curry Hardcover R1,620 Discovery Miles 16 200
Information Technology Trends for a Global and Interdisciplinary Research Community (Hardcover): Francisco J. Garcia Penalvo
Information Technology Trends for a…
Francisco J. Garcia Penalvo Hardcover R5,784 Discovery Miles 57 840

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