Rajeev Alur - książki, profil autora

produkty 1-2 z 2
sortuj:
Computer Aided Verification
-23%
Computer Aided Verification Rok wydania: 2004 Rodzaj okładki: Miękka EAN: 9783540223429 Stan: Widoczne ślady użytkowania 26,06 zł SZCZEGÓŁY dodaj do listy życzeń
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
-23%
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings Rok wydania: 2004 Rodzaj okładki: Miękka EAN: 9783540212591 Stan: Widoczne ślady użytkowania od 18,39 zł
do 23,12 zł
SZCZEGÓŁY dodaj do listy życzeń