Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Practical TLA+
Af: Hillel Wayne Engelsk Paperback
SPAR
kr 99
Practical TLA+
Af: Hillel Wayne Engelsk Paperback
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 LearnRead and write TLA+ specsCheck specs for broken invariants, race conditions, and liveness bugsDesign concurrency and distributed systemsLearn how TLA+ can help you with your day-to-day production workWho This Book Is ForThose with programming experience who are new to design and to TLA+.
Kampagne pris Velkomst pris 304 kr
Medlemspris 314 kr
Kampagnepris og medlemspris er kun for medlemmer. Du bliver automatisk medlem når du køber til medlems- og kampagnepris. Få 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
5 - 7 hverdage
10 kr
Lavt pakkegebyr
Normalpris 403 kr
Fragt: 59 kr
7 - 10 hverdage
20 kr
Pakkegebyr
Spar 99 kr
Velkommen 15%
God 15.773 anmeldelser på
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 LearnRead and write TLA+ specsCheck specs for broken invariants, race conditions, and liveness bugsDesign concurrency and distributed systemsLearn how TLA+ can help you with your day-to-day production workWho This Book Is ForThose with programming experience who are new to design and to TLA+.
Produktdetaljer
Sprog: Engelsk
Sider: 221
ISBN-13: 9781484238288
Indbinding: Paperback
Udgave:
ISBN-10: 1484238281
Udg. Dato: 12 okt 2018
Længde: 12mm
Bredde: 180mm
Højde: 254mm
Oplagsdato: 12 okt 2018
Forfatter(e): Hillel Wayne
Forfatter(e) Hillel Wayne


Kategori Programmerings- & scriptsprog


Sprog Engelsk


Indbinding Paperback


Sider 221


Udgave


Længde 12mm


Bredde 180mm


Højde 254mm

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Kampagne pris kr 199

kr 320
Normalpris
kr 211
Medlemspris
SPAR
kr 121
BOG (INDBUNDET)
Kampagne pris kr 262

kr 349
Normalpris
kr 271
Medlemspris
SPAR
kr 87
BOG (INDBUNDET)
Kampagne pris kr 148

kr 199
Normalpris
kr 153
Medlemspris
SPAR
kr 51
BOG (INDBUNDET)
Kampagne pris kr 29

kr 134
Normalpris
kr 40
Medlemspris
SPAR
kr 105
BOG (INDBUNDET)
Kampagne pris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (INDBUNDET)
Kampagne pris kr 182

kr 250
Normalpris
kr 189
Medlemspris
SPAR
kr 68
BOG (INDBUNDET)
Kampagne pris kr 919

kr 1.499
Normalpris
kr 977
Medlemspris
SPAR
kr 580
BOG (HÆFTET)
Kampagne pris kr 188

kr 269
Normalpris
kr 196
Medlemspris
SPAR
kr 81
BOG (HÆFTET)
Kampagne pris kr 27

kr 227
Normalpris
kr 47
Medlemspris
SPAR
kr 200
BOG (INDBUNDET)
Kampagne pris kr 211

kr 299
Normalpris
kr 220
Medlemspris
SPAR
kr 88
BOG (INDBUNDET)
Kampagne pris kr 119

kr 120
Normalpris
kr 119
Medlemspris
SPAR
kr 1
BOG (INDBUNDET)
Kampagne pris kr 191

kr 300
Normalpris
kr 202
Medlemspris
SPAR
kr 109
BOG (HARDBACK)
Kampagne pris kr 223

kr 299
Normalpris
kr 231
Medlemspris
SPAR
kr 76
BOG (HÆFTET)
Kampagne pris kr 164

kr 199
Normalpris
kr 168
Medlemspris
SPAR
kr 35
BOG (HÆFTET)
Kampagne pris kr 207

kr 269
Normalpris
kr 213
Medlemspris
SPAR
kr 62
BOG (INDBUNDET)
Kampagne pris kr 229

kr 299
Normalpris
kr 236
Medlemspris
SPAR
kr 70
BOG (INDBUNDET)
Kampagne pris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (HÆFTET)
Kampagne pris kr 211

kr 299
Normalpris
kr 220
Medlemspris
SPAR
kr 88
BOG (INDBUNDET)
Kampagne pris kr 216

kr 279
Normalpris
kr 222
Medlemspris
SPAR
kr 63
BOG (HÆFTET)
Kampagne pris kr 197

kr 249
Normalpris
kr 202
Medlemspris
SPAR
kr 52
Vi anbefaler også
BOG (PAPERBACK)
Kampagne pris kr 375

kr 508
Normalpris
kr 388
Medlemspris
SPAR
kr 133
BOG (PAPERBACK)
Kampagne pris kr 365

kr 525
Normalpris
kr 381
Medlemspris
SPAR
kr 160
BOG (PAPERBACK)
Kampagne pris kr 333

kr 363
Normalpris
kr 336
Medlemspris
SPAR
kr 30
BOG (PAPERBACK)
Kampagne pris kr 223

kr 289
Normalpris
kr 230
Medlemspris
SPAR
kr 66
BOG (PAPERBACK)
Kampagne pris kr 408

kr 556
Normalpris
kr 423
Medlemspris
SPAR
kr 148
BOG (PAPERBACK)
Kampagne pris kr 307

kr 431
Normalpris
kr 319
Medlemspris
SPAR
kr 124
BOG (PAPERBACK)
Kampagne pris kr 266

kr 346
Normalpris
kr 274
Medlemspris
SPAR
kr 80
BOG (PAPERBACK)
Kampagne pris kr 312

kr 441
Normalpris
kr 325
Medlemspris
SPAR
kr 129
BOG (PAPERBACK)
Kampagne pris kr 512

kr 618
Normalpris
kr 523
Medlemspris
SPAR
kr 106
BOG (PAPERBACK)
Kampagne pris kr 320

kr 347
Normalpris
kr 323
Medlemspris
SPAR
kr 27
BOG (PAPERBACK)
Kampagne pris kr 286

kr 337
Normalpris
kr 291
Medlemspris
SPAR
kr 51
BOG (PAPERBACK)
Kampagne pris kr 236

kr 380
Normalpris
kr 250
Medlemspris
SPAR
kr 144
BOG (PAPERBACK)
Kampagne pris kr 496

kr 687
Normalpris
kr 515
Medlemspris
SPAR
kr 191
BOG (PAPERBACK)
Kampagne pris kr 365

kr 525
Normalpris
kr 381
Medlemspris
SPAR
kr 160
BOG (PAPERBACK)
Kampagne pris kr 286

kr 337
Normalpris
kr 291
Medlemspris
SPAR
kr 51
BOG (PAPERBACK)
Kampagne pris kr 327

kr 419
Normalpris
kr 336
Medlemspris
SPAR
kr 92
BOG (PAPERBACK)
Kampagne pris kr 262

kr 353
Normalpris
kr 271
Medlemspris
SPAR
kr 91
BOG (PAPERBACK)
Kampagne pris kr 291

kr 383
Normalpris
kr 300
Medlemspris
SPAR
kr 92
BOG (PAPERBACK)
Kampagne pris kr 300

kr 431
Normalpris
kr 313
Medlemspris
SPAR
kr 131
BOG (PAPERBACK)
Kampagne pris kr 259

kr 330
Normalpris
kr 266
Medlemspris
SPAR
kr 71