EAN: 9783030174613

Bilder-Quelle: discount24.de - Sport-Freizeit

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2019 which took place in Prague Czech Republic in April 2019 held as part of the European Joint Conferences on Theory and Practice of Software ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:Part I: SAT and SMT SAT solving and theorem proving verification and analysis model checking tool demo and machine learning. Part II: concurrent and distributed systems monitoring and runtime verification hybrid and stochastic systems synthesis symbolic verification and safety and fault-tolerant systems.

Produktinformationen zuletzt aktualisiert am
17.03.2025 um 00:17 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

(Preise zuletzt aktualisiert am: 17.03.2025 um 01:05 Uhr)

Die Preise und Versandkosten können sich seit der letzten Aktualisierung beim jeweiligen Händler verändert haben.
Alle Preise sind Angaben des jeweiligen Anbieters inklusive Umsatzsteuer, zzgl. Versand - alle Angaben ohne Gewähr.

Grundpreise werden angezeigt und berechnet sofern möglich in Abhängigkeit eindeutiger und auslesbarer Daten
aus dem Produktnamen des jeweiligen Produktes und dem vom Shop angegeben Verkaufspreises des Produktes.