Ein Transformationssystem zur Programmentwicklung
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Ein Transformationssystem zur Programmentwicklung" von Guido Persch behandelt die theoretischen und praktischen Grundlagen der automatisierten Softwareentwicklung. Das Buch stellt ein System vor, das darauf abzielt, Programme durch formale Transformationen zu entwickeln und zu optimieren. Es beschreibt Methoden zur schrittweisen Umwandlung von Spezifikationen in effiziente Programmcode-Strukturen unter Beibehaltung der Korrektheit. Dabei werden verschiedene Techniken und Algorithmen vorgestellt, um die Transformationen systematisch und nachvollziehbar zu gestalten. Das Werk richtet sich an Informatiker und Softwareentwickler, die sich mit der formalen Verifikation und Optimierung von Software beschäftigen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
