Kaikki kirjat 25 % alennuksella koodilla: BOOKS

Olibro

Oma ostoskori

Latautuu...

Asiakastunnus

Uusi asiakas

Tilin luominen tuo monia etuja:

  • Katso tilauksen ja toimituksen tila
  • Seuraa tilaushistoriaa
  • Tarkista nopeammin
Luo tili
  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Practical TLA+: Planning Driven Development - Hillel Wayne

Hillel Wayne

(0)
Kirjoita arvostelu
englanti
2018-10-12
51,96 € 69,28 €

-25% koodilla BOOKS

Pehmeäkantinen 69,28 € Kovakantinen
Toimittajalla varastossa

Toimitus 12-18 arkipäivässä

30 päivän palautusoikeus

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. Yoüll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an exa ... Täydellinen kuvaus

Saatat myös pitää

-25%
TOP
NEW
The God Test

The God Test

Robert Wright

17,29 € 23,06 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All

If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All

Eliezer Yudkowsky, Nate Soares

17,29 € 23,06 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Gödel, Escher, Bach: An Eternal Golden Braid

Gödel, Escher, Bach: An Eternal Golden Braid

Douglas R. Hofstadter

24,06 € 32,08 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
AI Engineering: Building Applications with Foundation Models

AI Engineering: Building Applications with Foundation Models

Chip Huyen

83,89 € 111,85 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
NEW
The Rust Programming Language

The Rust Programming Language

Steve Klabnik, Carol Nichols, Chris Krycho

50,09 € 66,79 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
The Art of Game Design: A Book of Lenses

The Art of Game Design: A Book of Lenses

Jesse Schell

90,20 € 120,27 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
How To Think About AI: A Guide For The Perplexed

How To Think About AI: A Guide For The Perplexed

Richard Susskind

14,02 € 18,70 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI

Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI

Karen Hao

19,06 € 25,41 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition

The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition

Andrew Hunt, David Thomas

50,72 € 67,63 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
HBR Guide to Generative AI for Managers

HBR Guide to Generative AI for Managers

Elisa Farri, Gabriele Rosani

35,59 € 47,45 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution

Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution

Steven Levy

31,46 € 41,95 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
The Web Application Hacker's Handbook: Discovering and Exploiting Security Flaws

The Web Application Hacker's Handbook: Discovering and Exploiting Security Flaws

Marcus Pinto, Dafydd Stuttard

63,84 € 85,12 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
How Linux Works: What Every Superuser Should Know

How Linux Works: What Every Superuser Should Know

Brian Ward

41,68 € 55,57 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Artificial Intelligence: A Modern Approach, Global Edition

Artificial Intelligence: A Modern Approach, Global Edition

Peter Norvig, Stuart Russell

104,66 € 139,55 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Python Crash Course: A Hands-On, Project-Based Introduction to Programming

Python Crash Course: A Hands-On, Project-Based Introduction to Programming

Eric Matthes

41,68 € 55,57 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Fundamentals of Software Architecture: A Modern Engineering Approach

Fundamentals of Software Architecture: A Modern Engineering Approach

Mark Richards, Neal Ford

83,89 € 111,85 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers

Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers

Giorgia Lupi, Phillip Cox

32,57 € 43,43 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali

Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali

Occupytheweb

33,69 € 44,92 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
C Programming Language

C Programming Language

Brian W. Kernighan, Brian Kernighan, Dennis Ritchie

69,62 € 92,82 €

-25% koodilla BOOKS

Toimittajalla varastossa

-25%
TOP
Proofs from THE BOOK

Proofs from THE BOOK

Martin Aigner, Günter M. Ziegler

74,24 € 98,98 €

-25% koodilla BOOKS

Toimittajalla varastossa

Kuvaus

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.
Yoü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, yoü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+.

Lisätietoja

Kirjoittaja Hillel Wayne
Julkaisija Apress
Julkaisuvuosi 2018
Kannen tyyppi Pehmeäkantinen
EAN 9781484238288
Kirjoita oma arvostelusi
Arvostelet: Practical TLA+: Planning Driven Development
Arvostelusi:

Goodreads-arvostelut

51,96 € 69,28 €