Cărți de Shaz Qadeer

Computer Aided Verification

Editat de Ganesh Gopalakrishnan et al.

5 iul 2011

Preț: 346^.93 lei 433^.67 lei

6-8 săpt. | 10-14 zile

-20%

Runtime Verification

Editat de Shaz Qadeer et al.

11 ian 2013

Preț: 324^.02 lei 405^.03 lei

6-8 săpt.

-20%