Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992 (Workshops in Computing)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "Formal Methods in Databases and Software Engineering" ist eine Sammlung von wissenschaftlichen Arbeiten, die auf dem Workshop zu formalen Methoden in Datenbanken und Softwaretechnik präsentiert wurden, der im Mai 1992 in Montreal, Kanada, stattfand. Herausgegeben von V.S. Alagar, bietet das Werk einen umfassenden Überblick über den Einsatz formaler Methoden zur Verbesserung der Zuverlässigkeit und Effizienz in der Entwicklung von Datenbanksystemen und Softwareanwendungen. Die Beiträge behandeln verschiedene Themen wie formale Spezifikationen, Verifikationsmethoden, Modellierungstechniken und deren praktische Anwendungen in der Softwareentwicklung. Ziel des Buches ist es, Forschern und Praktikern ein tieferes Verständnis für die Rolle formaler Methoden zu vermitteln und deren Integration in bestehende Entwicklungsprozesse zu fördern.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
