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

Où acheter (1) Caractéristiques
Sponsorisé
Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science
Fnac FR
52.23 EUR
Prix mis à jour le: 30-05-2026 05:17:43
Voir l'offre

Général

Marque
Cambridge University Press

Caractéristiques

Produits similaires

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
Voir produit
Nonlinear Prediction Ladder-Filters for Higher-Order Stochastic Sequences
Nonlinear Prediction Ladder-Filters for Higher-Order Stochastic Sequences - Jan Zarzycki
Voir produit
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
Voir produit
Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics, 7
Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics, 7
Voir produit
High-order discontinuous galerkin methods for the maxwell equations
High-order discontinuous galerkin methods for the maxwell equations
Voir produit
Higher Order Logic and Hardware Verification
Higher Order Logic and Hardware Verification
Voir produit
Menu