Theoretical Introduction to Programming

Bruce Mills

368 pages, parution le 04/11/2005

Ajouter à une liste

Indisponible

Résumé

Including well-digested information about fundamental techniques and concepts in software construction, this book is distinct in unifying pure theory with pragmatic details. Driven by generic problems and concepts, with brief and complete illustrations from languages including C, Prolog, Java, Scheme, Haskell and HTML.

This book is intended to be both a how-to handbook and easy reference guide. Discussions of principle, worked examples and exercises are presented. All concepts outside introductory programming are explained with clear demarcation and dependencies so the experienced programmer can quickly locate material. Readable in a linear manner, with short mono-thematic to encourage dipping and reference. Also included are sections on open problems in software theory and practice.

While little other than a novice programmer's knowledge is explicitly assumed, a certain conceptual maturity, either through commercial programming or academic training is required - each language is introduced and explained briefly as needed.

Sommaire

The Abstract Rational Outlook
A Grab-bag of Computational Models
Some Formal Technology
Limitations on Exact Knowledge
Some Orthodox Languages
Arithmetic Computation
Repetitive Computation
Temporal Interaction
Container Datatypes
End-notes and Candle-wax

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Bruce Mills
Parution	04/11/2005
Nb. de pages	368
Format	15,5 x 23,5
Couverture	Broché
Poids	540g
Intérieur	Noir et Blanc
EAN13	9781846280214
ISBN13	978-1-84628-021-4