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-10 zile

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

Autor David M. Russinoff et al.

25 ian 2019

Preț: 572^.47 lei 673^.49 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ț: 324^.68 lei 405^.86 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ț: 1237^.97 lei 1547^.46 lei

6-8 săpt.

-20%