Tous les livres numériques de Muhammad Atif en PDF et EPUB

1 Livre(s)


Understanding Behaviour of Distributed Systems Using mCRL2 Muhammad Atif , Jan Friso Groote This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process... Editeur : Springer Parution : 2023-02-25 PDF, ePub 189,89 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande

Les livres numériques peuvent être téléchargés depuis votre librairie numérique ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Application
Ordinateur	-EPUB -PDF	Adobe Digital Editions
Tablette et Smartphone Android	-EPUB -PDF	Adobe Digital Editions pour Android
iPad	-EPUB -PDF	Adobe Digital Editions pour Apple
iPhone	-EPUB	Adobe Digital Editions pour Apple
Liseuse	-EPUB	Module de lecture de la liseuse

Consultez l’aide pour en savoir plus.

Catalogue

Tous les livres numériques de Muhammad Atif en PDF et EPUB