Téléchargez le livre : Practical TLA+

Practical TLA+

Planning Driven Development de

Éditeur :

Apress


Paru le : 2018-10-11

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
46,34 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description


Apprenez à concevoir des programmes complexes, à corriger des programmes et à résoudre des problèmes avant d'écrire une seule ligne de code. Ce livre est une ressource pratique et complète sur la programmation TLA+ avec des exemples riches et complexes. TLA+ vous montre comment utiliser TLA+ pour spécifier un système complexe et tester la conception elle-même pour détecter les bogues, vous apprendrez comment même un court TLA+ spec peut trouver des bogues critiques. Commencez par vous mouiller les pieds avec un exemple de TLA+ utilisé dans un système de virement bancaire, pour voir comment il vous aide à concevoir, tester et construire une meilleure application. Ensuite, obtenez quelques notions de base sur les opérateurs TLA+, la logique, les fonctions, PlusCal, les modèles et la concurrence. En cours de route, vous découvrirez comment organiser vos plans et comment spécifier les systèmes distribués et leur cohérence éventuelle.




Enfin, vous mettrez en pratique ce que vous apprendrez avec quelques applications d'études de cas pratiques, en appliquant TLA+ à une grande variété de problèmes pratiques : de la performance des algorithmes et des structures de données au code métier et à MapReduce. Après avoir lu et utilisé ce livre, vous aurez tout ce dont vous avez besoin pour démarrer avec TLA+ et comment l'utiliser dans vos applications critiques.


Ce que vous apprendrez
Lecture et écriture des spécifications TLAVérifier les spécifications pour les invariants cassés, les conditions de course et les bogues de viveness.Concevoir des systèmes concurrentiels et distribuésDécouvrez comment TLA+ peut vous aider dans votre travail de production quotidien


A qui s'adresse ce livre ?

Ceux qui ont de l'expérience en programmation et qui sont novices en conception et en TLA+.
Pages
221 pages
Collection
n.c
Parution
2018-10-11
Marque
Apress
EAN papier
9781484238288
EAN PDF
9781484238295
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
22
Taille du fichier
3604 Ko
Prix
46,34 €
EAN EPUB
9781484238295
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
22
Taille du fichier
2222 Ko
Prix
46,34 €

Suggestions personnalisées