Ocena:
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.
⬤ 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)
Practical Tla+: Planning Driven Development
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+.
© 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)