Practical TLA+ - Wayne, Hillel

Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (2)

Occasion (1)

Reconditionné

44,05 €

Produit Neuf

Ou 11,01 € /mois

Livraison à 0,01 €

Voir les modes de livraison

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.

Nos autres offres

42,43 €

Produit Neuf

Ou 10,61 € /mois

En savoir plus
- Livraison à 0,01 €
Voir les modes de livraison
rarewaves-us

PRO

4,7/5 sur + de 1 000 ventes

Afficher la description de l'annonce

Nouvel article expédié dans le 24H à partir des Etats Unis Livraison au bout de 20 à 30 jours ouvrables.
44,05 €

Produit Neuf

Ou 11,01 € /mois

En savoir plus
- Livraison à 0,01 €
Voir les modes de livraison
rarewaves-uk

PRO

4,8/5 sur + de 1 000 ventes

Afficher la description de l'annonce

Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
50,68 €

Occasion · Comme Neuf

Ou 12,67 € /mois

En savoir plus
- Livraison : 0,00 €
- Livré entre le 24 et le 29 avril
Voir les modes de livraison
Kelindo

PRO

4,8/5 sur + de 1 000 ventes

Contacter le vendeur
Afficher la description de l'annonce
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Practical Tla+ Format Broché - Livre Informatique

Note : 0 0 avis sur Practical Tla+ Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Practical Tla+ Format Broché
- Livre Informatique

Livre Informatique - Wayne, Hillel - 01/10/2018 - Broché - Langue : Anglais

Auteur(s) : Wayne, Hillel

Editeur : Apress L.P.

Langue : Anglais

Parution : 01/10/2018

Format : Moyen, de 350g à 1kg

Nombre de pages : 248

Expédition : 474

Dimensions : 25.4 x 17.8 x 1.4

ISBN : 1484238281

Résumé :

Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.

You'll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank transfer system, to see how it helps you design, test, and build a better application. Then, get some fundamentals of TLA+ operators, logic, functions, PlusCal, models, and concurrency. Along the way you will discover how to organize your blueprints and how to specify distributed systems and eventual consistency.

Finally, you'll put what you learn into practice with some working case study applications, applying TLA+ to a wide variety of practical problems: from algorithm performance and data structures to business code and MapReduce. After reading and using this book, you'll have what you need to get started with TLA+ and how to use it in your mission-critical applications.

What You'll Learn

Read and write TLA+ specs Check specs for broken invariants, race conditions, and liveness bugs Design concurrency and distributed systems Learn how TLA+ can help you with your day-to-day production work

Who This Book Is For

Those with programming experience who are new to design and to TLA+.

Biographie:

Hillel Wayne is a software consultant who specializes in formal methods and specification. He also writes on empirical engineering, software history, and education. In his free time, he juggles and makes chocolate. He lives in Chicago. You can find his other work at hillelwayne.com or on Twitter at @hillelogram.

Sommaire:

Part I: The Semantics of TLA+ and PlusCal

1. An Example

2. PlusCal

3. Operators and Functions

4. Constants, Models, and Imports

5. Concurrency

6. Temporal Logic

Part II: Applying TLA+

7. Algorithms

8. Data Structures

9. State Machines

10. Ambiguity and Feature Interation

11. Case Study: MapReduce

Appendix A: Mathematics

Appendix B: PT library

Appendix C: PlusCal to TLA+

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Practical TLA+ - Wayne, Hillel

Avis sur Practical Tla+ Format Broché - Livre Informatique

Présentation Practical Tla+ Format Broché - Livre Informatique

Présentation Practical Tla+ Format Broché
- Livre Informatique