Formal Techniques for Distributed Systems, Fachbücher von David Lee, Arnd Poetzsch-Heffter, Antonia Lopes
53,49 €
"Formal Techniques for Distributed Systems" ist eine umfassende Sammlung von Fachbeiträgen, die die Ergebnisse der 11. IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2009) und der 29. IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems (FORTE 2009) dokumentiert. Diese Konferenzen fanden im Juni 2009 in Lissabon, Portugal, statt und zogen zahlreiche Beiträge aus der internationalen Forschungsgemeinschaft an. Die 12 überarbeiteten Volltexte und 6 Kurzbeiträge wurden aus 42 eingereichten Arbeiten sorgfältig ausgewählt und bieten einen tiefen Einblick in aktuelle Entwicklungen und Herausforderungen im Bereich der formalen Methoden für verteilte Systeme. Die behandelten Themen reichen von formaler Verifikation über Algorithmen und Implementierungen bis hin zu Modellierung, Testen und der Analyse verteilter Systeme. Dieses Buch ist eine wertvolle Ressource für Forscher, Praktiker und Studierende, die sich mit den formalen Aspekten der verteilten Systemtechnik beschäftigen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
