Cărți de J Strother Moore

The Little Prover

Autor Daniel P. Friedman et al.

27 aug 2015

Preț: 289^.18 lei

3-5 săpt. | 7-13 zile

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Autor David M. Russinoff et al.

25 ian 2019

Preț: 579^.42 lei 681^.67 lei

6-8 săpt.

-15%

Piton: A Mechanically Verified Assembly-Level Language

Automated Reasoning Series, nr. 3

Autor J Strother Moore

3 oct 2013

Preț: 328^.61 lei 410^.76 lei

6-8 săpt.

-20%

Computer-Aided Reasoning: ACL2 Case Studies

Advances in Formal Methods, nr. 4

Editat de Matt Kaufmann et al.

8 dec 2010

Preț: 1253^.05 lei 1566^.32 lei

6-8 săpt.

-20%