Higher Order Logic and Hardware Verification | Kaicus France
Toutes les catégories
Kaicus
Adulte
Alimentation, boissons et tabac
Animaux et articles pour animaux de compagnie
Appareils électroniques
Appareils photo, caméras et instruments d'optique
Arts et loisirs
Bagages et maroquinerie
Bébés et tout-petits
Entreprise et industrie
Équipements sportifs
Fournitures de bureau
Jeux et jouets
Logiciels
Maison et jardin
Médias
Meubles
Quincaillerie
Santé et beauté
Véhicules et accessoires
Vêtements et accessoires
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Médias Livres Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science
product image
product image

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

55.44 EUR

Marque: Cambridge University Press
Sponsorisé  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations

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

55.44 EUR 55.44 EUR
11-06-2026 22:08:30
Accès à la transaction

Produits connexes

Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)

282.99 EUR
Voir produit

Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics, 7

94.94 EUR
Voir produit

High-Order Methods for Incompressible Fluid Flow, Cambridge Monographs on Applied and Computational Mathematics

236.20 EUR
Voir produit

High-order discontinuous galerkin methods for the maxwell equations

90.49 EUR
Voir produit