Modern Formal Methods and Applications, Fachbücher von Hossam A. Gabbar
Das Buch "Modern Formal Methods and Applications" bietet eine umfassende Einführung in formale Methoden, die als effektive An... Mehr erfahren
Finde die besten Angebote
Bester Preis53 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Modern Formal Methods and Applications" bietet eine umfassende Einführung in formale Methoden, die als effektive Ansätze zur Problemlösung dienen. Es basiert auf logischen und algebraischen Techniken, die es ermöglichen, Probleme präzise zu formulieren und geeignete Lösungen zu finden. Der Inhalt des Buches umfasst grundlegende Konzepte formaler Methoden und beleuchtet moderne Anpassungen und Verbesserungen, die diese Techniken zu einem robusteren und effizienteren Werkzeug für die Problemlösung machen. Darüber hinaus werden Anwendungen aus verschiedenen Disziplinen vorgestellt, darunter Ingenieurwesen, wo die Synthese von Betriebsabläufen in chemischen Anlagen mithilfe formaler Methoden erfolgt. Auch in der rechnergestützten Biologie und bei der Verwaltung von Hardwarekompilierungen finden formale Methoden Anwendung. Dieses Buch richtet sich sowohl an Anfänger als auch an Fachleute und bietet wertvolle Einblicke und Erfahrungen in moderne formale Methoden durch die Betrachtung realer Anwendungen aus unterschiedlichen Bereichen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer