Amir Pnueli - książki, profil autora

produkty 1-2 z 2
sortuj:
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
-16%
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 10,91 zł SZCZEGÓŁY dodaj do listy życzeń
The Temporal Logic of Reactive and Concurrent Systems: Specification Rok wydania: 1991 Rodzaj okładki: Twarda Stan: Widoczne ślady użytkowania dodaj do listy życzeń