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
English Books
IT et informatique
Informatique
Computer Aided Verification
Computer Aided Verification
(0)
Donner la première évaluation
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on ...
Lire la suite
Prix bas
CHF
60.00
Impression sur demande - l'exemplaire sera recherché pour vous.
Livraison gratuite
Couverture cartonnée
Dans mon panier
Remarquer
Souvent achetés ensemble
D’autres clients ont aussi acheté
Afficher plus
Mehr entdecken:
IT et informatique
Généralités et lexiques
,
Logiciels utilisateurs
,
Informatique
,
Langages de programmation