Formale Modelle der Softwareentwicklung
Subtitle: Model-Checking, Verifikation, Analyse und Simulation
Publisher: Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH
Published: 2009
Language: ger
ISBN-13: 9783834895950