Cărți de J Strother Moore

Computer-Aided Reasoning

Editat de Matt Kaufmann et al.

30 iun 2000

Preț: 1231^.46 lei 1539^.31 lei

6-8 săpt.

-20%

Piton: A Mechanically Verified Assembly-Level Language

Automated Reasoning Series, nr. 3

Autor J Strother Moore

3 oct 2013

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

Preț: 566^.62 lei 666^.61 lei

6-8 săpt.

-15%