Opening book details…
About this nonfiction
Patternbasierte Verifikation objektorientierter Modelle: Methodik, Semantik und Verfahren by Matthias Sand is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Matthias Sand
- Publisher
- FAU Erlangen-Nürnberg
- Published
- 2006
- Language
- DE
- Category
- nonfiction
More by Matthias Sand
Browse all works by Matthias Sand
Similar books
- Formale Modelle Der Softwareentwicklung: Model-checking, Verifikation, Analyse Und Simulation — Stephan Kleuker (auth.) (2009)
- Informationstheorie : Diskrete Modelle und Verfahren — Univ.- Professor Dr. rer. nat. Rudolf Mathar (auth.) (1996)
- OPTIMIERUNG INTERAKTIV : grundlagen verstehen, modelle erforschen und verfahren anwenden — Daniel Scholz (2018)
- Formale Methodik des Entwurfs verteilter objektorientierter Systeme — Rumpe Bernhard (1996)
- Kultur und Semantik — Ilja Srubar (2009)
- Landschaftsökologie: Ansatz, Modelle, Methodik, Anwendung — Hartmut Leser (1991)