Vorlesungen über Informatik: "Berechenbarkeit, Formale Sprachen, Spezifikationen" (Springer-Lehrbuch)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "Vorlesungen über Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen" von Gerhard Goos behandelt grundlegende Konzepte der theoretischen Informatik. Es bietet eine umfassende Einführung in die Themenbereiche Berechenbarkeitstheorie, formale Sprachen und Spezifikationstechniken. Der Autor erklärt die Grundlagen der Turingmaschinen und rekursiven Funktionen als Modelle der Berechenbarkeit. Zudem werden verschiedene Klassen formaler Sprachen wie reguläre und kontextfreie Sprachen sowie deren Eigenschaften und Anwendungen detailliert behandelt. Ein weiterer Schwerpunkt liegt auf der Spezifikation von Software-Systemen, wobei unterschiedliche Methoden zur präzisen Beschreibung von Systemanforderungen vorgestellt werden. Das Buch richtet sich an Studierende der Informatik und bietet sowohl theoretische Grundlagen als auch praktische Beispiele zur Vertiefung des Verständnisses dieser zentralen Themenbereiche.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
