Lecture notes in computer science No 1354 Automatic Verification of Sequential Infinite-State Processes
Rok wydania: 1997
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
15,20 zł
SZCZEGÓŁY
dodaj do listy życzeń