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

Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Paperback, 1st ed. 2022) Loot Price: R1,871
Discovery Miles 18 710
Repayment Terms: R175 pm x 12*
Add to cart
Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022,...

Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Paperback, 1st ed. 2022)

Tiziana Margaria, Bernhard Steffen

Series: Lecture Notes in Computer Science, 13704

 (sign in to rate)
Loot Price R1,871 Discovery Miles 18 710 | Repayment Terms: R175 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 13704
Release date: October 2022
First published: 2022
Editors: Tiziana Margaria • Bernhard Steffen
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 424
Edition: 1st ed. 2022
ISBN-13: 978-3-03-119761-1
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
LSN: 3-03-119761-5
Barcode: 9783031197611

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,039 Discovery Miles 70 390
Applied Affective Computing (Hardcover): Leimin Tian, Sharon Oviatt, Michal Muszynski, Brent Chamberlain, Jennifer Healey,...
Applied Affective Computing
Leimin Tian, Sharon Oviatt, … Hardcover R2,551 Discovery Miles 25 510
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,097 Discovery Miles 40 970
Pattern-Based Constraint Satisfaction and Logic Puzzles - Third Edition, Hardcover (Hardcover): Denis Berthier
Pattern-Based Constraint Satisfaction…
Denis Berthier Hardcover R1,918 Discovery Miles 19 180
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 R785 Discovery Miles 7 850
Research Anthology on Artificial Neural Network Applications, VOL 3 (Hardcover): Information R Management Association
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R13,702 Discovery Miles 137 020
Research Anthology on Artificial Neural Network Applications, VOL 2 (Hardcover): Information R Management Association
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R13,692 Discovery Miles 136 920
Research Anthology on Artificial Neural Network Applications, VOL 1 (Hardcover): Information R Management Association
Research Anthology on Artificial Neural…
Information R Management Association Hardcover R13,686 Discovery Miles 136 860
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,325 R861 Discovery Miles 8 610
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 R749 Discovery Miles 7 490
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,022 Discovery Miles 70 220
Socrates Digital (TM) for Learning and Problem Solving (Hardcover): Mark Salisbury
Socrates Digital (TM) for Learning and…
Mark Salisbury Hardcover R6,256 Discovery Miles 62 560

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