Systematyczna metoda projektowania programów może pomóc programistom zapewnić poprawność i wydajność programów przy jednoczesnej minimalizacji kosztów rozwoju. Ta książka opisuje metodę, która zaczyna się od jasnej specyfikacji obliczeń i wyprowadza efektywną implementację poprzez stopniową analizę programu i transformacje. Metoda ma zastosowanie do problemów określonych w imperatywnej logice funkcjonalnej bazy danych i obiektowych językach programowania z różnymi kontrolkami danych i abstrakcjami modułów. Książka ta, przeznaczona do kursów lub samodzielnej nauki, zawiera liczne ćwiczenia i przykłady, które wymagają minimalnego zaplecza informatycznego, dzięki czemu jest przystępna dla nowicjuszy. Doświadczeni praktycy i badacze docenią szczegółowe przykłady w szerokim zakresie obszarów zastosowań, w tym projektowania sprzętu, przetwarzania obrazu, kontroli dostępu, optymalizacji zapytań i analizy programów. Ostatnia część książki wskazuje kierunki przyszłych badań. Język: angielski