Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Marsha Chechik, Jean-François Raskin
53,49 €
Das Buch "Tools and Algorithms for the Construction and Analysis of Systems" dokumentiert die Proceedings der 22. Internationalen Konferenz zu diesem Thema, die im April 2016 in Eindhoven, Niederlande, stattfand. Diese Konferenz war Teil der Europäischen Gemeinsamen Konferenzen über Theorie und Praxis von Software, ETAPS 2016. In diesem Band sind 44 vollständige Beiträge enthalten, die aus 175 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die Beiträge sind in verschiedene thematische Abschnitte unterteilt, die sich mit wichtigen Aspekten der Systemkonstruktion und -analyse befassen, darunter Abstraktion und Verifikation, probabilistische und stochastische Systeme, Synthese, sowie Sicherheits- und Optimierungsfragen. Die Vielfalt der behandelten Themen spiegelt die aktuellen Herausforderungen und Fortschritte in der Softwaretechnik wider und bietet wertvolle Einblicke für Forscher und Praktiker in diesem Bereich.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
