Saxo Access
Indkøbskurv

Moore, J Strother

Vis søgefilter

Vis mig kun

Computational Logic

Computational Logic

Moore, J Strother

473,39 DKK

Formal Verification of Floating-Point Hardware Design

Formal Verification of Floating-Point Hardware Design

Russinoff, David M.

692,63 DKK

Computational Logic Handbook

Computational Logic Handbook

Moore, J Strother

473,39 DKK

Computer-Aided Reasoning

Computer-Aided Reasoning

Moore, J Strother

2190,77 DKK

Computer-Aided Reasoning

Computer-Aided Reasoning

Moore, J Strother

2190,77 DKK

Formal Verification of Floating-Point Hardware Design

Formal Verification of Floating-Point Hardware Design

Russinoff, David M.

692,63 DKK

Piton

Piton

Moore, J Strother

436,85 DKK