Datenbestand vom 03. Februar 2012
Warenkorb Dissertationsdruck Dissertationsverlag Institutsreihen     Preisrechner

aktualisiert am 03. Februar 2012

ISBN 978-3-89963-862-2

Euro 84,00 inkl. 7% MwSt


978-3-89963-862-2, Reihe Informatik

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

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

Zusammenfassung / Abstract

Abstract / Leseprobe auf Anfrage verfügbar