Abstract State Machines, Alloy, B, Tla, Vdm, And Z 5th International

Marc Frappier (u. A.) | Abstract State Machines, Alloy, B And Z |

Klaus-dieter Schewe (u. A.) | Abstract State Machines, Alloy, B, Tla,

Egon Börger (u. A.) | Abstract State Machines, B And Z | Taschenbuch |

Machine Learning, Optimization, And Data Science 5th International

Man-machine Interactions 5 5th International Conference On Man-machine

Model Checking Abstract State Machines 6717

Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

Machine Learning In Medical Imaging 5th International Workshop, Mlmi

Distributed Abstract State Machine For Grid Services A Formal Method

Design And Implementation Of A State Machine Framework A State Machine

Bioinformatics And Biomedical Engineering 5th International

Artificial Intelligence And Security 5th International Conference,

Smart Computing And Communication 5th International Conference,

Pattern Recognition Applications And Methods 5th International

Data Management Technologies And Applications 5th International