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

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking

Buy Now

Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings (Paperback, 1st ed. 2022) Loot Price: R2,306

Discovery Miles 23 060

Repayment Terms: R216 pm x 12*

Add to cart

Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28,...

Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings (Paperback, 1st ed. 2022)

Ahmed Bouajjani, Lukas Holik, Zhilin Wu

Series: Lecture Notes in Computer Science, 13505

(sign in to rate)

Loot Price R2,306 Discovery Miles 23 060 | Repayment Terms: R216 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions.The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and verification; smt and verification; automata and applications; active learning; probabilistic and stochastic systems; synthesis and repair; and verification of neural networks.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 13505
Release date:	October 2022
First published:	2022
Editors:	Ahmed Bouajjani • Lukas Holik • Zhilin Wu
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	432
Edition:	1st ed. 2022
ISBN-13:	978-3-03-119991-2
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer hardware & operating systems > General Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer communications & networking > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-03-119991-X
Barcode:	9783031199912