Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Editat de Matt Kaufmann et al.
30 iun 2010
Paperback
Preț: 645.02 lei 806.26 lei
3-5 săpt.
-20%
Cărți de Matt Kaufmann
Computer-Aided Reasoning: ACL2 Case Studies
Editat de Matt Kaufmann et al.
8 dec 2010
Paperback
Preț: 1248.72 lei 1560.90 lei
6-8 săpt.
-20%