Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116, Band 3116)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004" ist eine Sammlung von wissenschaftlichen Arbeiten, die auf der 10. Internationalen Konferenz in Stirling, Schottland, präsentiert wurden. Diese Konferenz brachte Forscher und Praktiker aus den Bereichen Algebraische Methodologie und Softwaretechnologie zusammen. Die Beiträge im Buch decken eine Vielzahl von Themen ab, darunter formale Methoden, algebraische Spezifikationen, Programmverifikation und -synthese sowie die Anwendung dieser Techniken in der Softwareentwicklung. Ziel ist es, den Austausch von Ideen zu fördern und neue Ansätze für die Entwicklung zuverlässiger und effizienter Softwaresysteme zu erkunden.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
