The Little Prover
Autor Daniel P. Friedman et al.
27 aug 2015
Paperback
Preț: 312.89 lei
3-5 săpt. | 7-13 zile
Cărți de J Strother Moore
Computer-Aided Reasoning
Editat de Matt Kaufmann et al.
30 iun 2000
Hardback
Preț: 1232.36 lei 1540.45 lei
6-8 săpt.
-20%
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 et al.
25 ian 2019
Paperback
Preț: 566.62 lei 666.61 lei
6-8 săpt.
-15%