Higher Order Logic and Hardware Verification

Où acheter (1) Caractéristiques
Sponsorisé
Higher Order Logic and Hardware Verification
Fnac FR
259.99 EUR
Prix mis à jour le: 30-09-2026 01:36:50
Voir l'offre

Général

Marque
Melham, T. F.
ISBN
Melham, T. F. 052141718X
MPN
Melham, T. F. line drawings, tables, references

Caractéristiques

Produits similaires

Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics, 7
Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics, 7
Dès107.75 EUR 1
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
Dès236.20 EUR 1
Voir produit
Artificial Higher Order Neural Networks for Economics and Business
Artificial Higher Order Neural Networks for Economics and Business
Dès310.15 EUR 1
Voir produit
Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science
Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science
Dès60.39 EUR 1
Voir produit
High-order discontinuous galerkin methods for the maxwell equations
High-order discontinuous galerkin methods for the maxwell equations
Dès69.00 EUR 1
Voir produit
High-order discontinuous galerkin methods for the maxwell equations
High-order discontinuous galerkin methods for the maxwell equations
Dès84.96 EUR 1
Voir produit
Menu