Formal Methods and Software Engineering, Fachbücher von Shaoying Liu, Tom Maibaum, Keijiro Araki
53,49 €
Das Buch "Formal Methods and Software Engineering" bietet eine umfassende Untersuchung der formalen Ingenieurmethoden und deren Integration in die Softwareentwicklung. Es zielt darauf ab, effektive, rigorose und systematische Techniken zu präsentieren, die die Produktivität, Qualität und Unterstützung durch Werkzeuge in der Softwareentwicklung signifikant verbessern können. Ein zentrales Merkmal dieser Methoden ist die Betonung der Balance zwischen Einfachheit, Visualisierung und Präzision, um die Praktikabilität zu gewährleisten. Die Autoren, darunter Shaoying Liu, Tom Maibaum und Keijiro Araki, bringen ihre Expertise ein, um die Entwicklung und Anwendung formaler Ingenieurmethoden zu fördern. Das Buch ist das Ergebnis der zehnten ICFEM-Konferenz, die eine Plattform für den Austausch von Ideen und Erfahrungen zwischen Forschenden und Praktikern bietet. Es ist eine wertvolle Ressource für alle, die sich mit den neuesten Entwicklungen in den Bereichen formale Methoden und Softwaretechnik beschäftigen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
