Higher Order Logic and Hardware Verification

Ask AI a Question

Brand: Cambridge University Press

ASIN: 0521115329 (FR)

44.35 EUR En stock

Category: N/A (Slug: informatique-et-internet/programmation-et-langages/langages-de-programmation)

Ask a Question about "Higher Order Logic and Hardware Verification"

0 / 300