Warenkorb
Kostenloser Versand
Unsere Operationen sind klimaneutral

Error Free Software Robert L. Baber

Error Free Software von Robert L. Baber

Error Free Software Robert L. Baber


€11.99
Zustand - Sehr Gut
Nur noch 1

Zusammenfassung

An introduction to the creation and development of software, which explores the theory and potential of formal methods, and demonstrates certain advantages to be gained by using various techniques. The book is designed for self-study and assumes a basic knowledge of algebra and programming.

Error Free Software Zusammenfassung

Error Free Software: Know How and Know Why of Program Correctness Robert L. Baber

Pressure to produce good quality software within budget leaves little scope to explore the theory and potential of formal development methods. This introduction to the creation and development of software aims to demonstrate various advantages to be gained by using certain techniques. All techniques described are based on mathematical foundations, and a basic knowledge of algebra and programming is assumed. The book is designed as a self-study text, and contains many examples and exercises.

Zusätzliche Informationen

GOR001932826
9780471930167
0471930164
Error Free Software: Know How and Know Why of Program Correctness Robert L. Baber
Gebraucht - Sehr Gut
Gebundene Ausgabe
John Wiley and Sons Ltd
1991-06-24
172
N/A
Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.
Dies ist ein gebrauchtes Buch. Es wurde schon einmal gelesen und weist von der früheren Nutzung Gebrauchsspuren auf. Wir gehen davon aus, dass es im Großen und Ganzen in einem sehr guten Zustand ist. Sollten Sie jedoch nicht vollständig zufrieden sein, setzen Sie sich bitte mit uns in Verbindung.