Computer Aided Verification - Rajeev Alur - książka wyd. 2004
23,44 zł 34,00 zł
tezeusz.pl Zobacz w sklepie Opis
Niniejsza książka stanowi recenzowane materiały z 16. Międzynarodowej Konferencji na temat Weryfikacji i Oceny Systemów Komputerowych i Komunikacyjnych, VECoS 2023, która odbyła się w Marrakeszu w Maroku w dniach 18–20 października 2023 r. 12 pełnych artykułów zawartych w tej książce zostało starannie przejrzanych i wybranych spośród 36 zgłoszeń. Przedstawione tematy obejmowały szereg zagadnień, w tym podejścia do poprawy skalowalności i wydajności formalnej weryfikacji oraz ich zastosowania w blockchain, inteligentnych kontraktach i sieciach neuronowych.