Tel.: 089 / 66060798
(Mo-Fr 8:30 bis 12:30)

Fax: 089 / 66060799

Warenkorb	Dissertationsdruck	Dissertationsverlag	Impressum		Preisrechner

aktualisiert am 09. März 2010

ISBN 978-3-89963-862-2

Euro 51,00 ^{inkl. 7% MwSt}

978-3-89963-862-2

Ina Schaefer
Integrating Formal Verification into the Model-Based Development of Adaptive Embedded Systems
280 Seiten

Dissertation Technische Universität Kaiserslautern (2008), Softcover, A5,

Reihe Informatik

ISBN 978-3-89963-862-2

Euro 51,00 inkl. 7% MwSt

978-3-89963-862-2

280 Seiten

Dissertation Technische Universität Kaiserslautern (2008), Softcover, A5,

Reihe Informatik

Euro 51,00 ^{inkl. 7% MwSt}