Formale Modelle der Softwareentwicklung

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation verfasst von Stephan Kleuker und veröffentlicht von Vieweg+Teubner Verlag. Die Digital- und eTextbook-ISBNs für Formale Modelle der Softwareentwicklung lauten 9783834895950, 3834895954 und die Druck-ISBNs lauten 9783834806697, 3834806692. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation verfasst von Stephan Kleuker und veröffentlicht von Vieweg+Teubner Verlag. Die Digital- und eTextbook-ISBNs für Formale Modelle der Softwareentwicklung lauten 9783834895950, 3834895954 und die Druck-ISBNs lauten 9783834806697, 3834806692. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.