Higher Order Logic and Hardware Verification

Où acheter (1) Caractéristiques
Sponsorisé
Higher Order Logic and Hardware Verification
Fnac FR
294.99 EUR
Prix mis à jour le: 12-11-2026 06:24:31
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ès105.62 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ès262.90 EUR 1
Voir produit
Artificial Higher Order Neural Networks for Economics and Business
Artificial Higher Order Neural Networks for Economics and Business
Dès235.81 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ès65.29 EUR 1
Voir produit
High-order discontinuous galerkin methods for the maxwell equations
High-order discontinuous galerkin methods for the maxwell equations
Dès90.46 EUR 1
Voir produit
High-order discontinuous galerkin methods for the maxwell equations
High-order discontinuous galerkin methods for the maxwell equations
Dès93.52 EUR 1
Voir produit
Menu