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ń
Computer-Aided Verification of Coordinating Processes
Rodzaj okładki:
Miękka
Czas wysyłki: 7 dni
EAN:
9780691606057
dodaj do listy życzeń