Theoretical Introduction to Programming - Bruce Ian Mills

Theoretical Introduction to Programming

(Autor)

Buch | Softcover
358 Seiten
2005
Springer London Ltd (Verlag)
978-1-84628-021-4 (ISBN)
53,49 inkl. MwSt
Including easily 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.

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.

Erscheint lt. Verlag 25.10.2005
Zusatzinfo 29 Illustrations, black and white; XI, 358 p. 29 illus.
Verlagsort England
Sprache englisch
Maße 155 x 235 mm
Themenwelt Mathematik / Informatik Informatik Software Entwicklung
Informatik Theorie / Studium Compilerbau
ISBN-10 1-84628-021-4 / 1846280214
ISBN-13 978-1-84628-021-4 / 9781846280214
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
29,90
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
49,85