
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 ist Teil der Reihe "Lecture Notes in Computer Science". Es bietet eine umfassende Einführung in die Common Algebraic Specification Language (CASL), die entwickelt wurde, um algebraische Spezifikationen für Software- und Systementwicklung zu unterstützen. Das Handbuch richtet sich sowohl an Anfänger als auch an erfahrene Benutzer und deckt grundlegende Konzepte sowie fortgeschrittene Themen ab. Es behandelt die Syntax und Semantik von CASL, zeigt, wie man Spezifikationen erstellt und analysiert, und erklärt den Einsatz von CASL-Werkzeugen zur Verifikation und Validierung von Spezifikationen. Durch Beispiele und Übungsaufgaben wird das Verständnis gefördert. Das Buch ist ein wertvolles Nachschlagewerk für Informatiker und Softwareingenieure, die sich mit formalen Methoden der Spezifikation 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