Lecture notes in computer science No 1354 Automatic Verification of Sequential Infinite-State Processes
Olaf Burkart
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
Produkt wprowadzony do obrotu na terenie UE przed 13.12.2024.