Cărți de Edmund M. Clarke

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Edmund M. Clarke et al.

4 ian 2011

Preț: 347^.17 lei 433^.97 lei

3-5 săpt.

-20%

Computer-Aided Verification

Editat de Edmund M. Clarke et al.

2 oct 1991

Preț: 381^.74 lei

6-8 săpt.

Handbook of Model Checking

Editat de Roderick Bloem et al.

8 iun 2018

Preț: 801^.11 lei 1092^.18 lei

Indisponibil temporar

-27%