Partial-Order Methods for the Verification of Concurrent Systems


brak ocen
Rok wydania: 1996 Wydawnictwo: Springer » Rodzaj okładki: Miękka Wymiar: 20x26cm Ilość stron: 142 Waga: 0.246 kg TIN: T06713773 Stan: Używana
Stan egzemplarza: Widoczne ślady użytkowania

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

cena: 16,00 zł 11,52 zł
Produkt wprowadzony do obrotu na terenie UE przed 13.12.2024.