Model Checking Software, Fachbücher von Pedro Merino, María del Mar Gallardo

Model Checking Software, Fachbücher von Anton Wijs, Dragan Bosnacki

Model Checking Software, Fachbücher von Ana Sokolova, Alfons Laarman

Model Checking Software, Fachbücher von Ezio Bartocci, C. R. Ramakrishnan

Formalization and Model Checking of Software Architectural Style, Fachbücher

Model Checking Software, Fachbücher von Axel Legay, Fabrizio Biondi, Thomas Given-Wilson

Mammary Stem Cells, Fachbücher von Maria del Mar Vivanco

Degradación de microalgas por radiación ultravioleta, Fachbücher von Mª del Mar Barrado, José Martín Gallardo, Jesús Bel...

Patrick Godefroid | Model Checking Software | Taschenbuch | Englisch

DUA, un estudio de caso en el centro del país, Fachbücher von María Nin, María del Mar Montoya

Improving Scalability Of Model Checking Software Architectures A

Stefan Edelkamp (u. A.) | Model Checking Software | Taschenbuch |

Model Checking Software 16th International Spin Workshop, Grenoble,

Legalidad de las funciones jurisdiccionales, Fachbücher von Maria del mar Diaz Saldaña

Sriram K. Rajamani (u. A.) | Model Checking Software | Taschenbuch |

Model Checking and Artificial Intelligence, Fachbücher