Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis (Informatik & Praxis)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis" von Gerlinde Schreiber ist ein praxisorientiertes Lehrbuch, das sich mit den theoretischen Grundlagen und praktischen Anwendungen formaler Beschreibungsmethoden in der Informatik beschäftigt. Das Buch bietet eine umfassende Einführung in verschiedene formale Methoden, die zur Spezifikation, Verifikation und Modellierung von Softwaresystemen verwendet werden. Es behandelt Themen wie formale Sprachen, Automaten, Logiken und Petri-Netze und legt dabei besonderen Wert auf die Anwendbarkeit dieser Methoden in realen Projekten. Durch zahlreiche Beispiele und Übungen wird dem Leser ermöglicht, das erworbene Wissen direkt anzuwenden und zu vertiefen. Das Buch richtet sich sowohl an Studierende der Informatik als auch an Praktiker, die ihr Wissen über formale Methoden erweitern möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
