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
"Formal Methods in Databases and Software Engineering" ist ein Sammelband, der die Beiträge des Workshops zu formalen Methoden in Datenbanken und Softwaretechnik zusammenfasst, der im Mai 1992 in Montreal, Kanada stattfand. Herausgegeben von V.S. Alagar, behandelt das Buch eine Vielzahl von Themen an der Schnittstelle zwischen theoretischer Informatik und praktischer Anwendungsentwicklung. Die Beiträge diskutieren den Einsatz formaler Methoden zur Verbesserung der Zuverlässigkeit und Effizienz von Datenbanksystemen und Softwarelösungen. Dazu gehören Ansätze zur Spezifikation, Verifikation und Validierung sowie deren Anwendung in unterschiedlichen Bereichen der Datenbank- und Softwareentwicklung. Ziel des Workshops und des Buches ist es, den Austausch zwischen Forschern und Praktikern zu fördern und neue Entwicklungen auf diesem Gebiet vorzustellen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
