CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900, Band 2900)
Kurzinformation
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "CASL User Manual: Introduction to Using the Common Algebraic Specification Language" von Peter D. Mosses bietet eine umfassende Einführung in die Common Algebraic Specification Language (CASL), die zur formalen Spezifikation von Software verwendet wird. Als Teil der Lecture Notes in Computer Science Serie zielt das Werk darauf ab, sowohl Anfängern als auch erfahrenen Nutzern einen klaren Überblick über die Konzepte und Anwendungen von CASL zu geben. Es behandelt grundlegende Themen wie die Syntax und Semantik der Sprache, ihre modularen Spezifikationsmöglichkeiten sowie praktische Beispiele und Übungen, um das Verständnis zu vertiefen. Das Handbuch dient als wertvolle Ressource für Informatiker und Softwareentwickler, die sich mit formalen Methoden der Softwareentwicklung beschäftigen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
