Mein Konto
Login Anmeldung
Alles
Warenkorb
Neuesten Trends
Belletristik
Sachbücher
Kinderbücher
Seltene Bücher
Musik
DVD & Blu-Ray
Kategorie
Wunschlisten
Warenkorb
Alles
Kostenloser Versand
Trustpilot
Unsere Operationen sind klimaneutral

Programming Approach to Formal Methods Chris Casey

Programming Approach to Formal Methods von Chris Casey

Programming Approach to Formal Methods Chris Casey

117.00
Zustand - Sehr Gut
Nur noch 1
Sehr Gut

Zusammenfassung

A comprehensive investigation into formal methods for program specification and verifications. Using VDM and Pascal, the text shows how formal notations can assist software development and the communication and expression of ideas. Exercises and solutions are included.

Programming Approach to Formal Methods Zusammenfassung

Programming Approach to Formal Methods Chris Casey

This comprehensive text is an investigation into formal methods for program specification and verification. It shows how formal notations can assist the process of developing software and in communicating and expressing ideas. These ideas are illustrated using VDM and Pascal. This work demonstrates in clear language how the principles of formal methods can be applied to any software development.

Inhaltsverzeichnis

Software development and quality; programming language features; key programming concepts; simple specifications and rigorous arguments; reasoning about programs without loops; induction, recursion and loops; sets; records; MAPS; sequences; development from formal specifications; program design and formal methods; an example of formal methods; other formal specification languages; summary of notation; hints and solutions to exercises.

Zusätzliche Informationen

GOR013933895
9780077079680
007707968X
Programming Approach to Formal Methods Chris Casey
Chris Casey
McGraw-Hill International Series in Software Engineering
Gebraucht - Sehr Gut
Broschiert
McGraw-Hill Education - Europe
1994-05-31
224
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.