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
Piton: A Mechanically Verified Assembly-Level Language
Autor J Strother Moore
3 oct 2013
Paperback
Preț: 321.49 lei 401.86 lei
6-8 săpt.
-20%
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%