1. Page d’accueil
  2. Médias
  3. Livres
  4. Higher Order Logic and Hardware Verification
  • #

Higher Order Logic and Hardware Verification

188.87 EUR 14.24 EUR 92% Off

Partager:
Sponsorisé

Higher Order Logic and Hardware Verification - T. F. Melham

ammareal.fr
Produit utilisé
14.24 EUR
19-11-2025 21:22:48
Sponsorisé

Higher Order Logic and Hardware Verification

Fnac FR
188.87 EUR
29-03-2025 10:45:32

Produits connexes

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
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
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
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 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
Automated Reasoning in Higher-Order Logic, Studies in Logic, Logic and Cognitive Systems

Automated Reasoning in Higher-Order Logic, Studies in Logic, Logic and Cognitive Systems

73.15 EUR
The Consolidated General Orders of the High Court of Chancery: With Regulations as to Certain Fees and Charges (1860)

The Consolidated General Orders of the High Court of Chancery: With Regulations as to Certain Fees and Charges (1860)

40.15 EUR