
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900, Band 2900)
Kurzinformation



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.
Über den Autor
- Kartoniert
- 375 Seiten
- Erschienen 2018
- Springer
- hardcover
- 608 Seiten
- Erschienen 1992
- Springer
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
- Hardcover
- 344 Seiten
- Erschienen 1970
- De Gruyter
- Kartoniert
- 736 Seiten
- Erschienen 2007
- Springer
- Gebunden
- 241 Seiten
- Erschienen 2011
- Springer
- hardcover
- 223 Seiten
- Erschienen 1993
- Springer