Formal Techniques for Networked and Distributed Systems - FORTE 2002, Fachbücher von Doron A. Peled, Moshe Y. Vardi
53,49 €
Das Buch "Formal Techniques for Networked and Distributed Systems - FORTE 2002" dokumentiert die Ergebnisse der gleichnamigen internationalen Konferenz, die vom 11. bis 14. November 2002 an der Rice University in Houston, Texas, stattfand. Diese Konferenz bietet eine Plattform für Forscher und Praktiker aus Universitäten und der Industrie, um Technologien in den Bereichen Spezifikation, Test und Verifikation von verteilten Systemen und Kommunikationsprotokollen voranzutreiben. Die behandelten Themen umfassen unter anderem FDT-basierte System- und Protokolltechnik, semantische Grundlagen, formale Ansätze für objektorientierte Systeme sowie Aspekte der Echtzeit- und Wahrscheinlichkeitsanalyse. Das Buch enthält eine Auswahl von 22 regulären Beiträgen, zwei Tool-Papieren und zwei Postern, die während der Konferenz präsentiert wurden, sowie Tutorials, die den Teilnehmern vertiefte Einblicke in spezifische Themen bieten.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
