| book details |

Digitale Hardware/Software-Systeme: Spezifikation und Verifikation

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

| on special |

normal price: R 1 648.95

Price: R 1 566.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.

| product details |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Order of Time

Carlo Rovelli
Paperback / softback
224 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

Originally published in Italian: L'ordine del tempo (Milan: Adelphi Edizioni, 2017).

| more |

| add to trolley |

Helgoland: The Strange and Beautiful Story of Quantum Physics

Carlo Rovelli
Paperback / softback
208 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

| more |

| add to trolley |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

| more |

| add to trolley |