Autor: Peter Van Roy, Seif Haridi
ISBN: 83-7361-979-8
Ilość stron: 904
Data wydania: 10/2004
Twarda oprawa
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.
Pisanie niezawodnych programów wymaga opanowania koncepcji leżących u ich podstaw. Dzięki tej książce poznasz je wszystkie.
Rozdziały:
- wprowadzenie do problematyki programowania
Część I. Ogólne modele obliczeniowe
- deklaratywny model obliczeniowy
- techniki programowania deklaratywnego
- współbieżność deklaratywna
- współbieżność z przesyłaniem komunikatów
- stan jawny
- programowanie obiektowe
- współbieżność ze stanem dzielonym
- programowanie relacyjne
Część II. Specjalistyczne modele obliczeniowe
- projektowanie interfejsu GUI
- programowanie rozproszone
- programowanie z ograniczeniami
Część III. Semantyka
- semantyka języka programowania
Dodatki:
- zintegrowane środowisko systemu Mozart
- podstawowe typy danych
- składnia języka
- generalny model obliczeniowy
adobe algorytmy apache asp autocad asembler bsd c++ c# delphi dtp excel flash html java javascript linux matlab mysql office php samba voip uml unix visual studio windows word
Księgarnia Informatyczna zaprasza.