Computer Aided Verification

Name: Computer Aided Verification
SKU: 9481305
Price: 26.06 PLN
Availability: InStock
Author: Rajeev Alur
ISBN: 9783540223429

Rajeev Alur

brak ocen

Rok wydania: 2004 Język wydania: angielski Wydawnictwo: Springer » Rodzaj okładki: Miękka Wymiar: 17x24cm Ilość stron: 536 Waga: 0.828 kg EAN: 9783540223429 TIN: T06760858 Stan: Używana

Stan egzemplarza: Widoczne ślady użytkowania

cena: 34,00 zł 26,06 zł

Najniższa cena z 30 dni: 26,06 zł

dodaj do listy życzeń

Computer Aided Verification - Rajeev Alur

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.

DOSTAWA

Staramy się, aby Twoje książki dotarły do Ciebie jak najszybciej. Zamówienia złożone i opłacone do godziny 10:00 wysyłamy jeszcze tego samego dnia.

FORMY DOSTAWY

Wszystkie nasze paczki bezpiecznie i szybko dostarcza InPost. Masz do wyboru:

InPost Paczkomat 24/7 - 13,99 zł (Dostawa 1-2 dni robocze)
InPost Kurier - 13,99 zł (Dostawa 1-2 dni robocze)
InPost Kurier za pobraniem - 27,99 zł (Dostawa 1-2 dni robocze)
MiniPaczka InPost - 9,00 zł (Dostawa w następny dzień roboczy)

DARMOWA DOSTAWA

Dla wszystkich zamówień o wartości powyżej 199 zł dostawa jest całkowicie darmowa!

FORMY PŁATNOŚCI

Za swoje zamówienie możesz zapłacić w wygodny dla Ciebie sposób:

Szybkie płatności online - Przelewy24 (DotPay) – szybki i bezpieczny przelew z Twojego banku, płatność kartą płatniczą, PayPal lub płatność BLIK.
Przelew tradycyjny – dane do przelewu otrzymasz w mailu potwierdzającym zamówienie.
Płatność przy odbiorze gotówką lub kartą

(Uwaga: w przypadku płatności PayPal należy wpisać e-mail odbiorcy: sklep@tezeusz.pl)

Nie dodano jeszcze żadnej opinii.

brak ocen

Musisz być zalogowanym użytkownikiem, aby dodawać opinie o produktach.

ZALOGUJ SIĘ