Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	März 2003
Genre:	EDV / Informatik
	book / calculating programs / calculational / combination / computer science / Computer software / correct functioning / dependence / discipline / everincreasing / Focus / Informatik / Key / Livelihoods / lives / Logic / one selfcontained / Principles / Program / Programmierung / Programmierung u. Software-Entwicklung / Programming & Software Development / Softwareentwicklung / specifications / Topics mehr...
ISBN:	9780470848821
EAN-Code:	9780470848821
Verlag:	Wiley
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 239 mm / B 191 mm / D 20 mm
Gewicht:	624 gr
Seiten:	352
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The ever-increasing dependence of our lives and livelihoods on the correct functioning of computer software means that logic and program correctness are core elements of all good computer science degrees. This book presents both these topics in one self-contained text. The focus of the book is on "correct-by-construction" program design -- the discipline of calculating programs from their specifications. Modern, calculational logic is introduced in combination with key program construction principles, such as the assignment axiom, loop invariants and bound functions. This material is intertwined with motivational discussion, programming examples and challenging problem-solving exercises, bringing the book alive for its intended audience, undergraduates in computer science and mathematics, as well as professional programmers wishing to further develop their programming skills. The book covers the elements of logic and program correctness that form the foundations of further study --- the logical connectives and their algebraic properties, induction, quantifiers and program construction rules. Substantial examples of program construction are included. Many exercises are provided, all with detailed solutions.