Formal Methods for Real-Time and Probabilistic Systems

Name: Formal Methods for Real-Time and Probabilistic Systems
SKU: 9459747
Price: 20.17 PLN
Availability: InStock
Author: Joost - Pieter Katoen

Joost - Pieter Katoen

brak ocen

Rok wydania: 1999 Wydawnictwo: Springer » Rodzaj okładki: Miękka Wymiar: 15x23cm Ilość stron: 353 Waga: 0.484 kg TIN: T06713777 Stan: Używana

Stan egzemplarza: Widoczne ślady użytkowania

cena: 28,00 zł 20,17 zł

Najniższa cena z 30 dni: 20,17 zł

dodaj do listy życzeń

Formal Methods for Real-Time and Probabilistic Systems - Joost - Pieter Katoen

"Formal Methods for Real-Time and Probabilistic Systems" to zbiór materiałów z 5. Międzynarodowego Warsztatu AMAST ARTS'99, który odbył się w Bamberg, Niemcy, w dniach 26-28 maja 1999 roku. Publikacja zawiera 20 recenzowanych artykułów, dotyczących metod formalnych stosowanych w systemach czasu rzeczywistego oraz probabilistycznych. Omawia zagadnienia związane z weryfikacją modeli, logiką programów, procesami probabilistycznymi oraz algorytmami bisymulacji

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Ę