
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
10.08.2025 um 05:45 Uhr
10.08.2025 um 05:45 Uhr
Hersteller
-
EAN
9783030174613
MPN
-
ASIN
3030174611
Produktgruppe
-

Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9780201038064 - The Art of Computer Programming Volume 4B - Donald...9783642046384 - Relations and Kleene Algebra in Computer Science K...
9783384231130 - The Beating Code Advancing Cardiac Modeling with C...
9783110426137 - Riemann-Roch Spaces and Computation - Paraskevas A...
9783319287652 - Trustworthy Global Computing Kartoniert (TB)...
9783642274428 - Proceedings of the International Conference on Inf...
9783642411564 - Trustworthy Global Computing Kartoniert (TB)...
9783662625200 - Mathematical Foundations of Big Data Analytics - V...
9783319670348 - Parallel Computational Technologies Kartoniert (TB...
9783030174613 - Tools and Algorithms for the Construction and Anal...
9783030780166 - Computer Algebra - Wolfram Koepf Gebunden...
9783540724315 - Analysis and Design of Intelligent Systems using S...
kürzlich hinzugefügt:
9783030125356 - The Dynamics of Electrons in Linear Plasma Devices...9783319292205 - Algorithms and Discrete Applied Mathematics Karton...
9780691203423 - Breaking the Social Media Prism - How to Make Our ...
9783319597300 - Modeling Life - Alan Garfinkel Jane Shevtsov Yina ...
9783319585642 - SpringerBriefs in Mathematics Multi-Objective Op...
9781119724414 - The Self-Taught Computer Scientist - Cory Althoff ...
9338716006292 - Blackmagic Design BM-HDL-SMTV4K12G2 BM-HDL-SMTV4K1...
9783319516516 - Undergraduate Topics in Computer Science Applied...
9781484219096 - Pro Hadoop Data Analytics - Kerry Koitzsch Kartoni...
9781484236321 - Veracity of Big Data - Vishnu Pendyala Kartoniert ...
9783031572487 - Tools and Algorithms for the Construction and Anal...
9783030228989 - Derivatives and Internal Models - Hans-Peter Deuts...