Advances in Verification of Time Petri Nets and Timed Automata

Name: Advances in Verification of Time Petri Nets and Timed Automata
SKU: 9073130
Price: 103.74 PLN
Availability: OutOfStock
Author: Wojciech Penczek
ISBN: 9783540328698

Wojciech Penczek

brak ocen

Rok wydania: 2006 Wydawnictwo: Springer » Rodzaj okładki: Twarda Wymiar: 17x24cm Ilość stron: 257 Waga: 0.516 kg EAN: 9783540328698 TIN: T06390452 Stan: Używana

Stan egzemplarza: Z uszkodzeniami

Blok: zagięty / przekrzywiony

Produkt niedostępny

Powiadom mnie o dostępności tego produktu

dodaj do listy życzeń

Advances in Verification of Time Petri Nets and Timed Automata - Wojciech Penczek

Książka Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach autorstwa Wojciecha Penczka i Agaty Pólroli to szczegółowe opracowanie dotyczące modeli systemów czasu rzeczywistego, takich jak automaty skończone z czasem (Timed Automata) oraz sieci Petriego z czasem (Time Petri Nets). Autorzy przedstawiają metody translacji sieci Petriego na automaty skończone z czasem oraz omawiają języki specyfikacji temporalnych, zarówno z czasem, jak i bez. Książka zawiera również opis metod weryfikacji modeli, takich jak techniki oparte na przestrzeniach stanów abstrakcyjnych oraz metody symboliczne wykorzystujące SAT

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Ę