Amir Pnueli - książki, profil autora

Amir Pnueli Zahar Manna The Temporal Logic of Reactive and Concurrent Systems: Specification Rok wydania: 1991 Rodzaj okładki: Twarda Stan: Widoczne ślady użytkowania

zamknij 

Objaśnienie: Widoczne ślady używania
Książki posiadające drobne ślady użytkowania, które nie wpływają na zawartość i nie utrudniają czytania (drobne przybrudzenia, zagięcia, mogą pojawić się podkreślenia, podpis, inne).

Objaśnienie: Widoczne ślady używania
Książki posiadające drobne ślady użytkowania, które nie wpływają na zawartość i nie utrudniają czytania (drobne przybrudzenia, zagięcia, mogą pojawić się podkreślenia, podpis, inne).

15,73 zł SZCZEGÓŁY dodaj do listy życzeń usuń z listy życzeń

Amir Pnueli Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Rok wydania: 2003 Rodzaj okładki: Miękka EAN: 9783540009139 Stan: Z uszkodzeniami

zamknij 

Objaśnienie: Z uszkodzeniami
Książki mogą posiadać niektóre z widocznych uszkodzeń, np. pęknięcia, zagięcia, postrzępienia, naderwania, ślady po taśmie, inne.

Objaśnienie: Z uszkodzeniami
Książki mogą posiadać niektóre z widocznych uszkodzeń, np. pęknięcia, zagięcia, postrzępienia, naderwania, ślady po taśmie, inne.

10,39 zł SZCZEGÓŁY dodaj do listy życzeń usuń z listy życzeń