Cărți de Rajeev Alur

Embedded Software

Editat de Rajeev Alur

29 sep 2003

Preț: 325^.69 lei 407^.10 lei

6-8 săpt.

-20%

Computer Aided Verification

Editat de Rajeev Alur et al.

29 iun 2004

Preț: 634^.81 lei 793^.52 lei

6-8 săpt.

-20%

Hybrid Systems III: Verification and Control

Lecture Notes in Computer Science, nr. 1066

Editat de Rajeev Alur et al.

24 apr 1996

Preț: 636^.52 lei 795^.65 lei

6-8 săpt.

-20%

Hybrid Systems: Computation and Control

Editat de Rajeev Alur et al.

12 mar 2004

Preț: 641^.97 lei 802^.46 lei

6-8 săpt.

-20%

Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1102

Editat de Rajeev Alur et al.

17 iul 1996

Preț: 328^.94 lei 411^.17 lei

6-8 săpt.

-20%