piątek, 25 maj 2012
NEXT / Księgarnia

Księgarnia - książka

Okładka książki 'Programowanie. Koncepcje, techniki i modele'

Programowanie. Koncepcje, techniki i modele

(Concepts, Techniques, and Models of Computer Programming)

Autor: Peter Van Roy, Seif Haridi
Tłumaczenie: Bartłomiej Garbacz (wstęp, rozdz. 1-4, 9), Andrzej Grażyński (rozdz. 10-13, dod. A-D), Paweł Koronkiewicz (rozdz. 5-8)
ISBN: 83-7361-979-8
Format: B5, oprawa: , stron: 904
Data wydania: 06.10.2005

Nakład wyczerpany

Spis treści i przykładowy rozdział (PDF)


Poznanie istoty programowania komputerów można zacząć od analizy języków programowania, ich struktur, typów danych i instrukcji. Jednak mnogość języków, różnice pomiędzy nimi i możliwość wykorzystania ich do różnych zadań sprawiają, że przeprowadzenie takiej analizy będzie niezwykle czasochłonne, a jednocześnie nie będzie gwarantowało poznania wszystkich koncepcji i paradygmatów programowania. Naukę koncepcji programowania najlepiej rozpocząć od poznania modelowych struktur realizowanych za pomocą modeli obliczeniowych -- konstrukcji definiujących sposób realizacji obliczeń, nie powołujących się na konkretny język.

Książka "Programowanie. Koncepcje, techniki i modele" prezentuje programowanie jako zbiór takich właśnie modeli. Opisuje je w postaci kodów stworzonych w prostym języku podstawowym przeznaczonym dla abstrakcyjnego komputera. W książce przedstawiono zarówno modele ogólne -- programowanie deklaratywne, współbieżność deklaratywną, współbieżność przesyłania komunikatów, stan jawny, programowanie zorientowane obiektowo, współbieżność stanu dzielonego oraz programowanie relacyjne -- jak i modele specjalizowane, takie jak programowanie graficznych interfejsów użytkownika, programowanie rozproszone oraz programowanie z ograniczeniami. Publikacja zawiera wiele fragmentów programów i ćwiczeń. Można je uruchomić w ramach systemu Mozart Programming System -- pakietu programistycznego rozprowadzanego na licencji open source.

  • Podstawowe założenia problematyki programowania
  • Notacja Backusa-Naura
  • Gramatyki kontekstowe i bezkontekstowe
  • Zasada działania maszyny abstrakcyjnej
  • Typy danych, instrukcje i funkcje
  • Drzewa i analiza składniowa
  • Metodologie projektowania programów
  • Programowanie współbieżne
  • Zasady projektowanie i programowanie obiektowego
  • Projektowanie interfejsów użytkownika
  • Obliczenia rozproszone

Pisanie niezawodnych programów wymaga opanowania koncepcji leżących u ich podstaw. Dzięki tej książce poznasz je wszystkie.


Inne książki z serii "Kanon informatyki":

Pokaż wszystkie książki z tej serii »

Komentarze:

Redakcja nie ponosi odpowiedzialności za treść komentarzy.
Nikt jeszcze nie skomentował.
Niezalogowany

Aby mieć dostęp do niektórych części serwisu NEXT (np. forum dyskusyjnego, oceny numeru, newslettera), musisz posiadać konto w naszym serwisie. Zachęcamy do darmowej rejestracji!

Jeżeli posiadasz już konto w serwisie, to zaloguj się.