| book details |

Digitale Hardware/Software-Systeme: Spezifikation und Verifikation

By (author) Christian Haubelt, By (author) JÃ¼rgen Teich

| on special |

normal price: R 1 566.95

Price: R 1 410.95

| add to trolley |

| book description |

Eingebettete 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.