Lær hvordan du kan designe komplekse og korrekte programmer, og oppdage problemer før du har skrevet en eneste linje kode. Boken 'Practical TLA+' av Hillel Wayne er en praktisk og omfattende ressurs for TLA+ programmering, med rike og komplekse eksempler. Boken viser deg hvordan TLA+ kan brukes til å spesifisere et komplisert system og teste designet mot feil. Du vil oppdage at selv en kort TLA+-spesifikasjon kan avdekke kritiske feil. Begynn med et eksempel på TLA+ anvendt i et bankoverføringssystem for å se hvordan det hjelper deg med å designe, teste og bygge applikasjoner på en bedre måte. Videre vil du lære grunnleggende om TLA+-operatører, logikk, funksjoner, PlusCal, modeller og samtidighet. Underveis vil du også oppdage hvordan du organiserer dine blueprints og spesifiserer distribuerte systemer samt eventual konsistens. Til slutt vil du anvende det du har lært i praksis gjennom arbeidseksampler, der du bruker TLA+ på et variert spekter av praktiske problemer – fra algoritmisk ytelse og datakonstruksjoner til forretningskode og MapReduce. Etter å ha lest denne boken vil du være godt rustet til å takle utfordringene innen programdesign med større sikkerhet.
