Computer Aided Verification

Name: Computer Aided Verification
SKU: 3977565
Price: 57.55 PLN
Availability: OutOfStock
Author: K. G. Larson

K. G. Larson

brak ocen

Rok wydania: 1992 Wydawnictwo: Springer Verlag » Rodzaj okładki: Miękka Wymiar: 15x22cm Waga: 0.9 kg TIN: T02968971 Stan: Używana

Stan egzemplarza: Z uszkodzeniami

Obwoluta/Oprawa: naderwana

Inne informacje: adnotacje i pieczątki biblioteczne

Produkt niedostępny

Powiadom mnie o dostępności tego produktu

dodaj do listy życzeń

Computer Aided Verification - K. G. Larson

Tłumaczenie z języka angielskiego-W informatyce Międzynarodowa Konferencja Weryfikacji Wspomaganej Komputerowo jest coroczną konferencją naukową poświęconą teorii i praktyce komputerowej analizy formalnej systemów oprogramowania i sprzętu, szeroko zwaną metodami formalnymi. Jest to jedna z najwyżej notowanych konferencji informatycznych.

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Ę