Andere Kunden interessierten sich auch für
![An Integrated Approach to Software Engineering]( "An Integrated Approach to Software Engineering")
An Integrated Approach to Software Engineering56,99 €![Abstraction, Refinement and Proof for Probabilistic Systems]( "Abstraction, Refinement and Proof for Probabilistic Systems")
Abstraction, Refinement and Proof for Probabilistic Systems110,99 €![Embedded Software Development with C]( "Embedded Software Development with C")
Embedded Software Development with C113,99 €![A Logical Approach to Discrete Math]( "A Logical Approach to Discrete Math")
A Logical Approach to Discrete Math95,99 €![Cooperating Heterogeneous Systems]( "Cooperating Heterogeneous Systems")
Cooperating Heterogeneous Systems123,99 €![A Knowledge-Based Approach to Program Understanding]( "A Knowledge-Based Approach to Program Understanding")
A Knowledge-Based Approach to Program Understanding122,99 €![Constructing Correct Software]( "Constructing Correct Software")
Constructing Correct Software61,99 €
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
From the reviews:
"A good programmer has to know more than the constructs of a given programming language: eg., computational models, formal technologies, limitations on models, technologies and computers, properties of programming languages (and their compilers), interaction between programs, and even philosophical aspects. ... the author gives a good introduction to the mentioned fields in the form of chapters partitioned into notions (and some exercises) ... . So, the book is a good survey for specialists ... ." -- G. Riedewald, Zentralblatt MATH, Vol. 1097 (23), 2006
"A good programmer has to know more than the constructs of a given programming language: eg., computational models, formal technologies, limitations on models, technologies and computers, properties of programming languages (and their compilers), interaction between programs, and even philosophical aspects. ... the author gives a good introduction to the mentioned fields in the form of chapters partitioned into notions (and some exercises) ... . So, the book is a good survey for specialists ... ." -- G. Riedewald, Zentralblatt MATH, Vol. 1097 (23), 2006