Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Rok wydania: 1995
Rodzaj okładki:
Twarda z obwolutą
EAN:
9780691034362
Stan:
Widoczne
ślady
użytkowania
18,52 zł
SZCZEGÓŁY
dodaj do listy życzeń