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

52.23 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

52.23 EUR 52.23 EUR
23-04-2026 07:11:41
Accès à la transaction

Produits connexes

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

83.14 EUR
Voir produit

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

227.30 EUR
Voir produit

Higher Order Logic and Hardware Verification

14.24 EUR 188.87 EUR
Voir produit

Nonlinear Prediction Ladder-Filters for Higher-Order Stochastic Sequences - Jan Zarzycki

6.17 EUR
Voir produit