Formal Techniques for Networked and Distributed Systems - FORTE 2007, Fachbücher von John Derrick, Jüri Vain
53,49 €
Das Buch "Formal Techniques for Networked and Distributed Systems - FORTE 2007" dokumentiert die Proceedings der 27. FORTE-Konferenz, die sich mit formalen Methoden in vernetzten und verteilten Systemen beschäftigt. Diese Konferenz vereint die Traditionen der früheren PSTV- und FORTE-Konferenzen und bietet ein Forum für den Austausch über aktuelle Entwicklungen in Theorie, Anwendung, Werkzeugen und der Industrialisierung formaler Methoden. Die FORTE-Konferenz hat eine lange Geschichte, die bis ins Jahr 1981 zurückreicht, und hat sich zu einer bedeutenden Veranstaltung in diesem Fachgebiet entwickelt. Die Beiträge in diesem Band reflektieren die neuesten Erkenntnisse und Fortschritte in den Bereichen formale Beschreibungstechniken, offene verteilte Systeme und Qualitätssicherung. Die Konferenz wird von der International Federation for Information Processing (IFIP) unterstützt und zieht Fachleute aus der ganzen Welt an, die ihre Forschungsergebnisse und Erfahrungen teilen.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
