Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Editat de Edmund M. Clarke et al.
2 oct 1991
Paperback
Preț: 378.78 lei
6-8 săpt.
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
Editat de Edmund M. Clarke et al.
4 ian 2011
Paperback
Preț: 331.30 lei 414.13 lei
3-5 săpt.
-20%
Handbook of Model Checking
Editat de Edmund M. Clarke et al.
8 iun 2018
Hardback
Preț: 1011.14 lei 1263.93 lei
17-24 zile | 6-12 zile
-20%