Computer Aided Verification

Name: Computer Aided Verification
SKU: 9460090
Author: Pierre Wolper
ISBN: 9783540600459

Pierre Wolper

brak ocen

Wydawnictwo: Springer » Rodzaj okładki: Miękka Wymiar: 16x24cm Ilość stron: 450 Waga: 0.936 kg EAN: 9783540600459 Stan: Używana

cena: 28,00 zł 19,30 zł

Najniższa cena z 30 dni: 19,30 zł

Computer Aided Verification - Pierre Wolper

Computer Aided Verification autorstwa Pierre'a Wolpera to publikacja zawierająca materiały z 7. Międzynarodowej Konferencji CAV '95, która odbyła się w Liège, Belgia, w dniach 3–5 lipca 1995 roku. Książka jest częścią serii Lecture Notes in Computer Science i koncentruje się na metodach weryfikacji komputerowej, obejmujących zarówno systemy skończone, jak i systemy czasu rzeczywistego oraz hybrydowe

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Ę