wróć
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach


brak ocen
Rok wydania: 1995 Język wydania: angielski Wydawnictwo: PSCS » Rodzaj okładki: Twarda z obwolutą Wymiar: 16x24cm Ilość stron: 265 Waga: 0.592 kg EAN: 9780691034362 TIN: T08326615 Stan: Używana
Stan egzemplarza: Widoczne ślady użytkowania
Inne: adnotacje biblioteczne / pieczątki

Masz tę lub inne książki? Sprzedaj je u nas Skup książek Tezeusz.pl

cena: 18,52 zł
Najniższa cena z 30 dni: 18,52 zł
dodaj do listy życzeń

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Robert P. Kurshan

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach is a book focused on formal methods for verifying coordinating processes in computer systems using automata theory. The authors present techniques for modeling, specifying, and analyzing concurrent and distributed systems to ensure correctness and reliability. The publication explains how automata-theoretic approaches can detect errors, deadlocks, and inconsistencies in system behavior. Readers are introduced to algorithms, tools, and frameworks that support computer-aided verification of complex processes. The book also includes case studies and practical examples illustrating the application of these methods in real-world systems. It is primarily intended for computer scientists, software engineers, and researchers specializing in formal verification and concurrent system design.

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Ę

Produkt wprowadzony do obrotu na terenie UE przed 13.12.2024.