Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Nir Piterman, Scott Smolka
53,49 €
Das Buch "Tools and Algorithms for the Construction and Analysis of Systems" dokumentiert die Proceedings der 19. Internationalen Konferenz zu diesem Thema, die im März 2013 in Rom, Italien, stattfand. In diesem Band sind 42 sorgfältig ausgewählte und begutachtete Beiträge enthalten, die aus insgesamt 172 eingereichten Arbeiten stammen. Die Beiträge sind in verschiedene thematische Abschnitte unterteilt, die eine Vielzahl von Aspekten der Systemanalyse und -konstruktion abdecken. Dazu gehören unter anderem Markov-Ketten, SAT/SMT, Prozessalgebra, Laufzeitüberprüfung und Modellprüfung sowie Sicherheits- und Zugriffssteuerung. Diese Sammlung bietet wertvolle Einblicke in aktuelle Forschungsergebnisse und Entwicklungen in der Systemanalyse und ist eine wichtige Ressource für Fachleute und Wissenschaftler auf diesem Gebiet.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
