Formal Methods Teaching, Fachbücher von Brijesh Dongol, Luigia Petre, Graeme Smith

Integrated Formal Methods, Fachbücher von Brijesh Dongol, Elena Troubitsyna

Integrated Formal Methods, Fachbücher von Luigia Petre, Einar Broch Johnsen

Formal Methods Teaching, Fachbücher von João F. Ferreira, Alexandra Mendes, Claudio Menghi

Oxford 1937, Fachbücher von Graeme Smith

Luigia Petre (u. A.) | Integrated Formal Methods | Taschenbuch |

Teaching Formal Methods, Fachbücher von Jeremy Gibbons, Jose Nuno Oliveira

Teaching Formal Methods Second International Conference, Tfm 2009,

The Object-Z Specification Language, Fachbücher von Graeme Smith

Formal Methods for Open Object-Based Distributed Systems IV, Fachbücher von Scott F. Smith, Carolyn L. Talcott

NASA Formal Methods, Fachbücher

Formal Methods Teaching Third International Workshop And Tutorial,

Teaching Methods, Fachbücher

Formal Methods in Systems Biology, Fachbücher

Religion in the European Refugee Crisis, Fachbücher von Graeme Smith, Ulrich Schmiedel

Formal Methods for Performance Evaluation, Fachbücher