Structured Object-Oriented Formal Language and Method: 11th International Worksh
75,39 €
Model Checking & Markov Decision Process. - An Approach of Transforming Non-Markovian Reward to Markovian Reward. - Extending Visibly Pushdown Automata over Multi-matching Nested Relations. - Formal Specification & Testing.
Jetzt bei Ebay:
![Produktbild - Steam Locomotive Construction And Maintenance, Describing Worksh [Leather Bound]](https://i.ebayimg.com/thumbs/images/g/JzEAAOSwCeJmPFA1/s-l140.jpg)
