Computer-Aided Reasoning: ACL2 Case Studies
Editat de Matt Kaufmann et al.
8 dec 2010
Paperback
Preț: 1224.95 lei 1531.19 lei
6-8 săpt.
-20%
Cărți de J Strother Moore
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Autor David M. Russinoff
5 mar 2023
Paperback
Preț: 683.30 lei 854.13 lei
6-8 săpt.
-20%