Furmale Modelle Der Softwareentwicklung
Subtitle: Model-checking, Verifikation, Analyse Und Simulation
Publisher: Vieweg + Teubner Verlag
Published: 2009
Language: ger
ISBN-13: 9783834806697