Projektowanie programów poprawnych i dobrze zbudowanych

Tytuł oryginalny:	Design of well-structured and correct programs
Autorzy:	Suad Alagìc Michael A. Arbib
Tłumacz:	Stefan Paszkowski
Wydawca:	Wydawnictwa Naukowo-Techniczne (1982)
Wydane w seriach:	Biblioteka Inżynierii Oprogramowania
ISBN:	83-204-0430-4
Autotagi:	druk książki
Źródło opisu:	Biblioteka Centrum Szkolenia Wojsk Lądowych - Specjalistyczny

	„Projektowanie programów poprawnych i dobrze zbudowanych” to unikalny na polskim rynku wydawniczym podręcznik, który łączy naukę programowania strukturalnego w języku Pascal z matematycznym dowodzeniem poprawności kodu. Autorzy odrzucają metodę prób i błędów, udowadniając, że program komputerowy można zaprojektować tak, aby jego poprawne działanie było logicznie pewne jeszcze przed uruchomieniem kompilatora. Więcej...

Wypożycz w bibliotece

Dostęp online

Brak zasobów elektronicznych
dla wybranego dzieła.

Kup

Brak ofert.

Recenzje

Brak recenzji - napisz pierwszą.

Nikt jeszcze nie obserwuje nowych recenzji tego dzieła.

Okładki

Kliknij na okładkę żeby zobaczyć powiększenie lub dodać ją na regał.

Zgłoś problem