Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)
Kurzinformation
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Specification and Transformation of Programs: A Formal Approach to Software Development" von Helmut A. Partsch ist ein umfassendes Werk, das sich mit der formalen Entwicklung von Softwareprogrammen befasst. Das Buch bietet einen strukturierten Ansatz zur Spezifikation und Transformation von Programmen, um die Softwareentwicklung systematischer und zuverlässiger zu gestalten. Im Kern behandelt das Buch Methoden zur präzisen Spezifikation von Softwareanforderungen und zeigt, wie diese Spezifikationen in effiziente und korrekte Programme transformiert werden können. Partsch legt besonderen Wert auf formale Methoden, um die Korrektheit der Programme zu gewährleisten und Fehler frühzeitig im Entwicklungsprozess zu erkennen. Das Buch richtet sich an Studierende der Informatik sowie an Fachleute aus der Softwareentwicklung, die an einer vertieften Auseinandersetzung mit theoretischen Grundlagen interessiert sind. Es kombiniert theoretische Konzepte mit praktischen Beispielen und Übungen, um den Lesern ein tiefes Verständnis für die formale Programmtransformation zu vermitteln.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
