Contacto
Cómo comprar
Entrega
Guía de compras
Alemán
97 b
Política de devolución de 30 días
Clientes que también han comprado
/
Tapa dura
38.09
€
/
Tapa dura
94.09
€
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.
Sobre el libro
Alemán
Categorías
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
17.89
€
/
Tapa dura
112.79
€
/
Tapa blanda
21.69
€
/
Tapa blanda
8.29
€
/
Tapa blanda
13.19
€
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?