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

52.23 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

83.14 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

227.30 EUR
Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification

14.24 EUR
Nonlinear Prediction Ladder-Filters for Higher-Order Stochastic Sequences

Nonlinear Prediction Ladder-Filters for Higher-Order Stochastic Sequences - Jan Zarzycki

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

High-order discontinuous galerkin methods for the maxwell equations

78.52 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

61.74 EUR