Filtre:

Cărți de Sriram K. Rajamani

Computer Aided Verification

Editat de Kousha Etessami et al.

24 iun 2005

Preț: 638^.64 lei 798^.30 lei

6-8 săpt.

-20%

Model Checking Software

Editat de Thomas Ball et al.

28 apr 2003

Preț: 320^.14 lei 400^.17 lei

6-8 săpt.

-20%