Bienvenue chez nous !
Mon Ex Libris
Identification
DE
FR
Contact
Aide
Service
Ex Libris SA
Succursales
0
0
Recherche detaillée
Livres
eBooks
Films
Musique
Jeux vidéo
Papeterie
Laissez-vous inspirer !
Promotions & Exclusivités
Offrir des bons
Home
Livres
eBooks en anglais
Informatique et Internet
Computer Aided Verification
Computer Aided Verification
eBook (pdf), 536 Nombre de pages
(0)
Donner la première évaluation
Contenu Rob Tristan Gerth: 1956-2003.- Static Program Analysis via 3-Valued Logic.- Deductive Verification of Pipelined Machines U...
Lire la suite
CHF
118.90
Download est disponible immédiatement
Informations sur les eBooks
eBook (pdf)
Couverture cartonnée
CHF
129.60
eBook (pdf)
CHF
118.90
Dans mon panier
Remarquer
Souvent achetés ensemble
D’autres clients ont aussi acheté
Afficher plus
Mehr entdecken:
eBooks en anglais
Littérature
,
Divers
,
Manger, boire
,
Sciences humaines, art, musique
,
Informatique et Internet
,
Enfants et adolescents
,
Sciences naturelles, médecine, informatique, technique
,
Guides pratiques
,
Voyages
,
Ouvrage spécialisé
,
École et apprentissage
,
Sciences sociales, droit, économie