Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Nir Piterman, Scott Smolka
Das Buch "Tools and Algorithms for the Construction and Analysis of Systems" dokumentiert die Proceedings der 19. Internation... 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 "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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer