| book details |

Digitale Hardware/Software-Systeme: Spezifikation und Verifikation

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

| on special |

normal price: R 1,232.95

Price: R 1,109.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 Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days

This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodesâ€™s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

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

Survive the AI Apocalypse: A guide for solutionists

Bronwen Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Forthcoming

Let's stare the future down and, instead of fearing AI, become solutionists.

| more |

| add to trolley |

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages

Enquiries only

| more |

| enquire |