Lecture notes in computer science No 1354 Automatic Verification of Sequential Infinite-State Processes


brak ocen
Rok wydania: 1997 Wydawnictwo: Springer » Rodzaj okładki: Miękka Wymiar: 15x23.5cm Ilość stron: 163 Waga: 0.275 kg TIN: T06713763 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: 19,00 zł 13,68 zł
Produkt wprowadzony do obrotu na terenie UE przed 13.12.2024.