SPECIFICATION AND VERIFICATION OF SYSTOLIC ARRAYS
$31.64
from $24.51
A programming logic: With an introduction to the PL/CV verifier
from $51.79
Metamath: A Computer Language for Mathematical Proofs
$37.96
from $33.20
Applying Apl Principles in Flexible Assessment
$79.95
from $11.04
More results from Amazon »