Logical Derivation of Computer Programs

Windeknecht, Thomas G.

Verlag: Intellect Books, 1999
ISBN 10: 1871516986 / ISBN 13: 9781871516982
Gebraucht / Hardcover / Anzahl: 0
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen

Über dieses Buch

Leider ist dieses Buch nicht mehr verfügbar. Bitte geben Sie Suchbegriffe in das untenstehende Formular ein, um ähnliche Exemplare zu finden.

Beschreibung:

Hardcover. No jacket. Superficial marks on boards. Rear lower leading corner is slightly bumped; rear upper edge has a minor dent. Spine head is lightly bumped. Contents are sound, clean and clear. BW. Buchnummer des Verkäufers

Über diesen Titel:

Bewertung (bereitgestellt von Goodreads):
0 durchschnittlich
(0 Bewertungen)

Inhaltsangabe: The result of research and teaching by the author, this contains material neither previously published nor strongly influenced by the computer science literature. It develops and uses a new, programming language-based logic for procedures to derive computer programs rigorously from formal specifications.

The method constitutes a powerful new tool for (a) creating error free programs and (b) showing students a completely rigorous mathematical approach to programming. The logic consists of syntactic, semantics-preserving rewriting rules for the standard constructs of a procedural programming language; namely, assignments, sequencing, branches, loops, and procedure calls. Assignments are used as specifications. Both features permit computer science students and practitioners to relate to the method readily. Program derivations comprise a sequence of procedural derivations starting with (a) given specifications and (b) the procedure calls that arise during programming. Procedural derivations are simply logical proofs created with the rewriting rules of the logic.

The book is written as a textbook for a one-semester course on program derivation. The main prerequisite is a solid discrete math course covering Boolean algebra, propositional calculus via truth tables, and elementary set theory including relations, functions, mathematical induction, the set of natural numbers and finite sequences. lt has been class-tested by the author throughout its development. The book has down-to-earth explanations, lots of details, cogent examples and solved exercises.

Contents: Logical Proofs o Mathematical lnduction o Traditional Programming o A Logic for Procedures o Examples of Program Derivation

About the Author: Dr. Thomas G. Windeknecht is Professor of Engineering and Computer Science at Oakland University, USA. He has released several papers and has previously published 6502 Systems Programming (Little, Brown and Co,. 1983), General Dynamical Processes (Academic Press, 1971), and Color-And-Weave (Van Nostrand Reinhold, 1981), together with M. B. Windeknecht.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Logical Derivation of Computer Programs
Verlag: Intellect Books
Erscheinungsdatum: 1999
Einband: Hardcover
Zustand: Good

ZVAB ist ein Internet-Marktplatz für neue, gebrauchte, antiquarische und vergriffene Bücher. Bei uns finden Sie Tausende professioneller Buchhändler weltweit und Millionen Bücher. Einkaufen beim ZVAB ist einfach und zu 100% sicher — Suchen Sie nach Ihrem Buch, erwerben Sie es über unsere sichere Kaufabwicklung und erhalten Sie ihr Buch direkt vom Händler.

Millionen neuer und gebrauchter Bücher bei tausenden Anbietern

Antiquarische Bücher

Antiquarische Bücher

Von seltenen Erstausgaben bis hin zu begehrten signierten Ausgaben – beim ZVAB finden Sie eine große Anzahl seltener, wertvoller Bücher und Sammlerstücke.

ZVAB Startseite

Erstausgaben

Erstausgaben

Erstausgaben sind besondere Bücher, die den ersten Abdruck des Textes in seiner ursprünglichen Form darstellen. Hier finden sie Erstausgaben von damals bis heute.

Erstausgaben

Gebrauchte Bücher

Gebrauchte Bücher

Ob Bestseller oder Klassiker, das ZVAB bietet Ihnen eine breite Auswahl an gebrauchten Büchern: Stöbern Sie in unseren Rubriken und entdecken Sie ein Buch-Schnäppchen.

Gebrauchte Bücher

Mehr Bücher entdecken