|
|
libcats.org
Главная →
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation (eXamen.press) (German Edition)Digitale Hardware/Software-Systeme: Spezifikation und Verifikation (eXamen.press) (German Edition)Christian HaubeltEingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, über Hardware- und Softwaregrenzen hinausgehendes Verständnis der Verifikationsproblematik erforderlich. Das vorliegende Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation für Hard- und Software beschrieben. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalität bis hin zur Überprüfung des Zeitverhaltens. Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik, Informationstechnik und Mechatronik fundiertes Wissen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk für Entwickler eingebetteter Systeme.
Скачать книгу бесплатно (pdf, 3.24 Mb)
Читать «Digitale Hardware/Software-Systeme: Spezifikation und Verifikation (eXamen.press) (German Edition)» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Человек, который спас Обь (О Залыгине)Автор: Залыгин СергейКатегория: Русская классическая проза
Размер книги: 8 Kb
slide3Автор: Jack_L._Chalker_-_G.O.D._Inc._2_-_The_Shadow_Dancers_-(v3.0) (HTML)
Размер книги: 65 Kb
Plasma PhysicsАвтор: Andreas Dinklage, Автор: Thomas Klinger, Автор: Gerrit Marx, Автор: Lutz SchweikhardКатегория: Physics, Lecture notes
Размер книги: 4.35 Mb
OS X for Hackers at HeartАвтор: Bruce Potter, Автор: Chris Hurley, Автор: Johnny Long, Автор: Tom Owad, Автор: Russ Rogers
Размер книги: 15.27 Mb
The Feynman Lectures on Physics: Commemorative Issue Vol 1: Mainly Mechanics, Radiation, and Heat (v. 1)Автор: Richard P. Feynman, Автор: Robert B. Leighton, Автор: Matthew SandsКатегория: Математика, Математическая физика
Размер книги: 22.46 Mb
|
|
|