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ț: 639.47 lei 799.33 lei
22-36 zile
-20%
Cărți de Matt Kaufmann
Computer-Aided Reasoning: ACL2 Case Studies
Editat de Matt Kaufmann et al.
8 dec 2010
Paperback
Preț: 1237.97 lei 1547.46 lei
43-57 zile
-20%