Filtre: Tipărit la comandă

Cărți de Sriram K. Rajamani

Computer Aided Verification

Editat de Kousha Etessami et al.

24 iun 2005

Preț: 636^.67 lei 795^.84 lei

43-57 zile

-20%

Model Checking Software

Editat de Thomas Ball et al.

28 apr 2003

Preț: 319^.15 lei 398^.93 lei

43-57 zile

-20%