Practical Tla+: Rozwój oparty na planowaniu

Ocena:   (4,7 na 5)

Practical Tla+: Rozwój oparty na planowaniu (Hillel Wayne)

Opinie czytelników

Podsumowanie:

Książka stanowi przystępne wprowadzenie do PlusCal, języka, który kompiluje się do TLA+, z praktycznymi przykładami i jasnym stylem nauczania autora. Dobrze nadaje się dla początkujących w weryfikacji formalnej, chociaż niektóre podstawowe szczegóły TLA+ mogą zostać przeoczone. Istnieją drobne błędy i niektóre obszary, w których treść wydaje się niekompletna. Ogólnie rzecz biorąc, pomaga czytelnikom zdobyć biegłość w PlusCal, jednocześnie służąc jako potencjalny krok do głębszej eksploracji TLA+.

Zalety:

Świetne przykłady i jasne wyjaśnienia
praktyczne zastosowanie PlusCal
przystępny styl pisania
dobrze nadaje się dla początkujących
rzeczywiste przykłady użycia
pomógł czytelnikom nabrać biegłości w PlusCal.

Wady:

Tytuł jest mylący, ponieważ koncentruje się bardziej na PlusCal niż na podstawowym TLA+
niektóre drobne błędy obecne
brakuje ćwiczeń do samodzielnego testowania
niektóre części składni i treści mogą być mylące lub niekompletne
niektórzy czytelnicy mogą czuć, że potrzebuje bardziej zaawansowanej treści.

(na podstawie 6 opinii czytelników)

Oryginalny tytuł:

Practical Tla+: Planning Driven Development

Zawartość książki:

Dowiedz się, jak projektować złożone, poprawne programy i rozwiązywać problemy przed napisaniem choćby jednej linijki kodu. Ta książka to praktyczne, kompleksowe źródło wiedzy na temat programowania w TLA+ z bogatymi, złożonymi przykładami. Practical TLA+ pokazuje, jak używać TLA+ do specyfikowania złożonego systemu i testowania samego projektu pod kątem błędów.

Dowiesz się, jak nawet krótka specyfikacja TLA+ może znaleźć krytyczne błędy. Zacznij od zapoznania się z przykładem TLA+ używanego w systemie przelewów bankowych, aby zobaczyć, jak pomaga on projektować, testować i budować lepszą aplikację. Następnie zapoznaj się z podstawami operatorów TLA+, logiki, funkcji, PlusCal, modeli i współbieżności. Po drodze dowiesz się, jak organizować swoje plany i jak określać systemy rozproszone i ewentualną spójność.

Wreszcie, wykorzystasz to, czego się nauczyłeś w praktyce, korzystając z kilku działających aplikacji studium przypadku, stosując TLA+ do szerokiej gamy praktycznych problemów: od wydajności algorytmów i struktur danych po kod biznesowy i MapReduce. Po przeczytaniu i skorzystaniu z tej książki będziesz miał wszystko, czego potrzebujesz, aby rozpocząć pracę z TLA+ i jak używać go w aplikacjach o znaczeniu krytycznym.

Czego się nauczysz

⬤ Czytać i pisać specyfikacje TLA+.

⬤ Sprawdzać specyfikacje pod kątem uszkodzonych niezmienników, warunków wyścigu i błędów liveness.

⬤ Projektowanie współbieżności i systemów rozproszonych.

⬤ Dowiedz się, jak TLA+ może pomóc Ci w codziennej pracy produkcyjnej.

Dla kogo jest ta książka

Dla osób z doświadczeniem programistycznym, które dopiero zaczynają przygodę z projektowaniem i TLA+.

Dodatkowe informacje o książce:

ISBN:9781484238288
Autor:
Wydawca:
Oprawa:Miękka oprawa
Rok wydania:2018
Liczba stron:221

Zakup:

Obecnie dostępne, na stanie.

Inne książki autora:

Practical Tla+: Rozwój oparty na planowaniu - Practical Tla+: Planning Driven Development
Dowiedz się, jak projektować złożone, poprawne programy i...
Practical Tla+: Rozwój oparty na planowaniu - Practical Tla+: Planning Driven Development

Prace autora wydały następujące wydawnictwa:

© Book1 Group - wszelkie prawa zastrzeżone.
Zawartość tej strony nie może być kopiowana ani wykorzystywana w całości lub w części bez pisemnej zgody właściciela.
Ostatnia aktualizacja: 2024.11.13 21:45 (GMT)