Cărți de Edmund M. Clarke

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6355

Editat de Edmund M. Clarke et al.

4 ian 2011

Preț: 344^.42 lei 430^.53 lei

3-5 săpt.

-20%

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Lecture Notes in Computer Science, nr. 531

Editat de Edmund M. Clarke et al.

2 oct 1991

Preț: 393^.74 lei

6-8 săpt.

Handbook of Model Checking

Editat de Edmund M. Clarke et al.

8 iun 2018

Preț: 716^.11 lei 976^.28 lei

Indisponibil temporar

-27%