Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Eric Madelaine
53,49 €
Das Buch "Formal Methods for Components and Objects" bietet eine umfassende Analyse und Diskussion über die Anwendung formaler Methoden in der Softwareentwicklung, insbesondere im Kontext grosser und komplexer Systeme. Es reflektiert die Ergebnisse des 7. Symposiums zu diesem Thema, das 2008 in Sophia Antipolis, Frankreich, stattfand. Die Beiträge stammen von führenden Experten aus verschiedenen europäischen IST-Projekten, die sich mit der Entwicklung und Validierung von Softwarearchitekturen, Modellen und Sprachen befassen. Der Fokus liegt auf der Verbesserung von Spezifikation, Modellierung und Validierungstechniken, um die Wiederverwendbarkeit und Modifizierbarkeit von Software zu unterstützen. Das Buch ist eine wertvolle Ressource für Fachleute und Forscher, die sich mit den Herausforderungen und Lösungen in der Softwareentwicklung auseinandersetzen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
