Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei

Practical TLA+

Limba englezăengleză
Carte Carte broșată
Carte Practical TLA+ Hillel Wayne
Codul Libristo: 19691060
Editura APress, octombrie 2018
Apply TLA+ to real-world problems and gain the building blocks to get started with your own specific... Descrierea completă
? points 93 b
192 lei -5 %
183 lei
În depozitul extern Expediem în 14-18 zile

30 de zile pentru retur bunuri


Clienții au cumpărat de asemenea


top
Measure What Matters John Doerr / Carte broșată
common.buy 82 lei
top
The Manager's Path Camille Fournier / Carte broșată
common.buy 183 lei
top
Kafka - The Definitive Guide / Carte broșată
common.buy 345 lei
top
Programming Rust Jim Blandy / Carte broșată
common.buy 359 lei
top
Infrastructure as Code / Carte broșată
common.buy 345 lei
The Big Book of Dashboards Steve Wexler / Carte broșată
common.buy 226 lei
Site Reliability Workbook Niall Richard Murphy / Carte broșată
common.buy 271 lei
Kubernetes and Docker - An Enterprise Guide Scott Surovich / Carte broșată
common.buy 301 lei
Developing Safety-Critical Software Leanna Rierson / Copertă tare
common.buy 558 lei
Debugging Teams Brian Fitzpatrick / Carte broșată
common.buy 175 lei
Production Kubernetes Josh Rosso / Carte broșată
common.buy 345 lei
Understanding Software Dynamics / Carte broșată
common.buy 262 lei
Mastering Git JAKUB NAREBSKI / Carte broșată
common.buy 301 lei
Big Breaches Neil Daswani / Carte broșată
common.buy 138 lei
Building Secure and Reliable Systems Heather Adkins / Carte broșată
common.buy 345 lei

Apply TLA+ to real-world problems and gain the building blocks to get started with your own specifications. 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, the way that Amazon and Microsoft handle their new systems. 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. You'll also discover advanced TLA+ specific syntax and see how it works with concurrency combined with some temporal logic. Finally, you'll put what you learn into practice with four working case study applications, including a blockchain example. 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 Write and read TLA+ specifications Use TLA+ specifications to find complex bugs in software projects before you've started writing any implementation code Work with concurrency and temporal logic using TLA+ Apply TLA+ in practice using example applications from blockchain, shopping, and worker pools Who This Book Is For Those with programming experience who are new to design and to TLA+.

Informații despre carte

Titlu complet Practical TLA+
Autor Hillel Wayne
Limba engleză
Legare Carte - Carte broșată
Data publicării 2018
Număr pagini 221
EAN 9781484238288
ISBN 1484238281
Codul Libristo 19691060
Editura APress
Greutatea 480
Dimensiuni 254 x 180 x 12
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze


top
Drawing The Female Figure Hikaru Hayashi / Carte broșată
common.buy 126 lei
top
How to Reassess Your Chess Jeremy Silman / Carte broșată
common.buy 144 lei
top
Walking Dead Compendium Volume 1 Robert Kirkman / Carte broșată
common.buy 263 lei
top
Life is Strange: 4-6 Boxed Set / Carte broșată
common.buy 227 lei
top
Luna Coloring Book Maria Trolle / Copertă tare
common.buy 81 lei
top
Her Soul for Revenge / Carte broșată
common.buy 106 lei
top
Moth Keeper / Carte broșată
common.buy 64 lei
top
Practical Statistics for Data Scientists Andrew Bruce / Carte broșată
common.buy 345 lei
Dune: House Harkonnen Vol. 1 Kevin J. Anderson / Copertă tare
common.buy 105 lei
Making Software Andy Oram / Carte broșată
common.buy 258 lei
Information Dashboard Design Stephen Few / Copertă tare
common.buy 183 lei
curând
Star Wars: Rogue One Adaptation Jody Houser / Carte broșată
common.buy 105 lei
Speed Secrets Ross Bentley / Carte broșată
common.buy 125 lei
C Primer Plus Stephen Prata / Carte broșată
common.buy 297 lei
Sino-Soviet Border War Harold Orenstein / Carte broșată
common.buy 110 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo