Formal Techniques for Networked and Distributed Systems - FORTE 2007, Fachbücher von John Derrick, Jüri Vain
Das Buch "Formal Techniques for Networked and Distributed Systems - FORTE 2007" dokumentiert die Proceedings der 27. FORTE-Ko... 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 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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer