Higher Order Logic and Hardware Verification | DealShopping France
  1. Page d’accueil
  2. Médias
  3. Livres
  4. Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science
  • #

Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science

55.44 EUR

Partager:

Produits connexes

Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics, 7

Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics, 7

94.94 EUR
High-Order Methods for Incompressible Fluid Flow, Cambridge Monographs on Applied and Computational Mathematics

High-Order Methods for Incompressible Fluid Flow, Cambridge Monographs on Applied and Computational Mathematics

236.20 EUR
High-order discontinuous galerkin methods for the maxwell equations

High-order discontinuous galerkin methods for the maxwell equations

90.49 EUR
Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20

Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20

282.99 EUR
Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification

14.24 EUR
High-order discontinuous galerkin methods for the maxwell equations

High-order discontinuous galerkin methods for the maxwell equations

78.52 EUR