Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte Systeme (Springer Compass)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte Systeme" von Friedrich Vogt bietet eine umfassende Einführung in drei wesentliche Spezifikationssprachen, die zur Modellierung und Entwicklung verteilter Systeme verwendet werden. Es erklärt die Grundlagen und Anwendungen von Estelle, LOTOS und SDL, wobei jede Sprache detailliert beschrieben wird, um ihre spezifischen Einsatzmöglichkeiten aufzuzeigen. Das Werk richtet sich an Studierende der Informatik sowie an Fachleute aus der Industrie, die sich mit der formalen Spezifikation und Analyse komplexer Systeme befassen. Durch zahlreiche Beispiele und praxisnahe Erklärungen ermöglicht das Buch ein tiefes Verständnis für die Strukturierung und Verifizierung verteilter Systeme.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
