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
Sciences naturelles, médecine, informatique, technique
Informatique, traitement des données
Logiciels
Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif
,
Jan Friso Groote
eBook (pdf), 235 Nombre de pages
(0)
Donner la première évaluation
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 p...
Lire la suite
CHF
177.90
Download est disponible immédiatement
Informations sur les eBooks
eBook (pdf)
Livre Relié
CHF
184.00
Couverture cartonnée
CHF
184.00
eBook (pdf)
CHF
177.90
Dans mon panier
Remarquer
Souvent achetés ensemble
D’autres clients ont aussi acheté
Afficher plus
Mehr entdecken:
Informatique, traitement des données
Généralités, lexiques
,
Logiciels
,
Systèmes d'exploitation, interfaces utilisateur
,
Communication des données, réseaux
,
Matériel
,
Informatique
,
Internet
,
Langages de programmation
,
Autres