av Dang Van Hung och Oleg Sokolsky
Förlag | Springer Nature |
Språk | Engelska |
Bandtyp | Häftad |
Utgiven | 2020-10-12 |
Upplaga | 1 |
Antal sidor | 574 |
ISBN | 9783030591519 |
Kategori(er) |
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020.
The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
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 papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.
Hittills har vi återanvänt
2
4
6
0
7
7
1
böcker.
Sveriges grönaste och skönaste bokhandel med den billigaste kurslitteraturen.
Detta är vår ambition och vi tummar inte på något för att nå dit. Vi finns till för att hjälpa studenter att spara och tjäna pengar på sin kurslitteratur samtidigt som vi tillsammans gör miljön en tjänst. Företaget startade våren 2005 av två studenter och har sedan dess strävat mot att ständigt göra det enklare att köpa och sälja begagnad kurslitteratur för så många som möjligt.
Prenumerera för att ta del av våra bästa studenttips, erbjudanden och kampanjer.
Läs mer om hur vi hanterar persondata i vårt avsnitt om personuppgiftbehandling.
Sök efter bokens streckkod/isbn.