Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 3393, Band 3393)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
Das Buch "Formal Methods in Software and Systems Modeling" ist eine Sammlung von Essays, die Hartmut Ehrig zu seinem 60. Geburtstag gewidmet sind. Es gehört zur Reihe "Lecture Notes in Computer Science" und Band 3393. Die Beiträge stammen von verschiedenen Autoren und befassen sich mit formalen Methoden in der Software- und Systemmodellierung. Die Themen reichen von theoretischen Grundlagen bis hin zu praktischen Anwendungen dieser Methoden. Das Werk würdigt Ehrigs bedeutende Beiträge auf diesem Gebiet und bietet sowohl einen Rückblick auf seine Arbeit als auch Einblicke in aktuelle Entwicklungen und zukünftige Herausforderungen im Bereich der formalen Modellierungstechniken.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
