Prinzipien der Verifizierung: Radfahren durch die probabilistische Landschaft: Essays gewidmet
114,21 €
Model Checking Applications. - On Woolhouse's Cotton-Spinning Problem. - Algorithms for Robbins' Problem using Markov Decision Processes. - Riding the Storm in a Probabilistic Model Checking Landscape.
Jetzt bei Ebay:
