Linear time branching time and partial order in logics and models for concurrency
Rok wydania: 1989
Rodzaj okładki:
Miękka
Stan:
Z
uszkodzeniami
dodaj do listy życzeń