Formal Techniques for Networked and Distributed Systems - FORTE 2002, Fachbücher von Doron A. Peled, Moshe Y. Vardi
Das Buch "Formal Techniques for Networked and Distributed Systems - FORTE 2002" dokumentiert die Ergebnisse der gleichnamigen... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer