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. | 6-12 zile

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

Autor David M. Russinoff et al.

25 ian 2019

Preț: 589^.33 lei 693^.34 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ț: 334^.20 lei 417^.75 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ț: 1274^.57 lei 1593^.22 lei

6-8 săpt.

-20%