Practical TLA+
Sprzedaje Libristo : 165,80 zł
Sprzedaje empik.com : 231,99 zł
Sprzedaje ABE BOOKS : 263,00 zł
Wszyscy sprzedawcy
Każdy sprzedawca w empik.com jest przedsiębiorcą. Wszystkie obowiązki związane z umową sprzedaży ciążą na sprzedawcy.
Potrzebujesz pomocy w zamówieniu?
Zadzwoń
Dodaj do listy
Dodaj ten produkt do jednej z utworzonych przez Ciebie list i zachowaj go na później.
Potrzebujesz pomocy w zamówieniu?
zamknijSprawdź jak złożyć zamówienie krok po kroku.
Możesz też zadzwonić pod numer +48 22 462 72 50 nasi konsultanci pomogą Ci złożyć zamówienie.
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.
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+.
| ID produktu: | 1206291227 |
| Tytuł: | Practical TLA+ |
| Autor: | Wayne Hillel |
| Wydawca: | Apress , Apress |
| Język wydania: | english |
| Ilość stron: | 248 |
| Numer wydania: | I |
| Rok wydania: | 2018 |
| Okładka: | miękka |
| Wymiary [mm]: | 19 x 257 x 182 |
| Indeks: | 32172775 |
Prezentowane dane dotyczą zamówień dostarczanych i sprzedawanych przez .
ocen
Podziel się na Facebooku
Właśnie zrecenzowałem Practical TLA+
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. ...