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

51.80 EUR

Partager:

Produits connexes

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
Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification

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

High-order discontinuous galerkin methods for the maxwell equations

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

High-order discontinuous galerkin methods for the maxwell equations

93.80 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

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

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

82.46 EUR