Catalog > Scienza > Generale > Christian Haubelt & Jurgen Teich: Digitale Hardware/Software-Systeme (PDF)

Christian Haubelt & Jurgen Teich
Digitale Hardware/Software-Systeme [PDF ebook]
Spezifikation und Verifikation

Supporto

Copertina di Christian Haubelt & Jurgen Teich: Digitale Hardware/Software-Systeme (PDF)

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.

€23.60

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Tedesco ● Formato PDF ● ISBN 9783642053566 ● Casa editrice Springer Berlin Heidelberg ● Pubblicato 2010 ● Scaricabile 3 volte ● Moneta EUR ● ID 6321127 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Christian Haubelt Jurgen Teich

90.365 Ebook in questa categoria

Copertina di Yasser (UAE University, United Arab Emirates) Elsheshtawy: Historicism, Psychoanalysis, and Early Modern Culture

Yasser (UAE University, United Arab Emirates) Elsheshtawy: Historicism, Psychoanalysis, and Early Modern Culture

First published in 2000. Did people in early modern Europe have a concept of an inner self? Carla Mazzio and Douglas Trevor have brought together an outstanding group of literary, cultural, and histo …

Copertina di Ran (University of the Witwatersrand, South Africa) Greenstein: Anti-Colonial Resistance in South Africa and Israel/Palestine

Ran (University of the Witwatersrand, South Africa) Greenstein: Anti-Colonial Resistance in South Africa and Israel/Palestine

This book provides a comparative historical study of the rise and evolution of anti-colonial movements in South Africa and Israel/Palestine. It focuses on the ways in which major political movements …

Copertina di H.H. RAJA RAJGAN: Travels China, Japan & Java

H.H. RAJA RAJGAN: Travels China, Japan & Java

First published in 2006. This unique perspective on China, Japan, and Java is written by His Highness the Indian Raja-I-Rajgan Jagatjit Singh of Kapurthala as a record of his brief visit to the Far E …

Copertina di E. S. Simpson: Developing World, The

E. S. Simpson: Developing World, The

Addresses the issues faced by developing nations in attempting to secure sustainable economic development. …

Copertina di Sarane (Rutgers University, USA) Boocock & Kaori H. (La Trobe University, Australia) Okano: Minorities and Education in Multicultural Japan

Sarane (Rutgers University, USA) Boocock & Kaori H. (La Trobe University, Australia) Okano: Minorities and Education in Multicultural Japan

This volume examines how Japan’s increasingly multicultural population has impacted on the lives of minority children and their peers at school, and how schools are responding to this trend in terms …

Copertina di Graham (Newcastle University, UK) Tipple & Kenneth G. Tipple: Housing the Poor in the Developing World

Graham (Newcastle University, UK) Tipple & Kenneth G. Tipple: Housing the Poor in the Developing World

First Published in 2004. Housing policies and programmes tend to result from political expediency, rather than a rational and informed analysis of the situation and the demands of individual househol …

Copertina di Armagan Emre Cakir: Fifty Years of EU-Turkey Relations

Armagan Emre Cakir: Fifty Years of EU-Turkey Relations

The publication of this book marks the fiftieth year of Turkey’s application to the European Economic Community for associate membership, and evaluates EU-Turkey relations in a historical perspective …

Copertina di Xavier (University of Edinburgh, UK) Guillaume: International Relations and Identity

Xavier (University of Edinburgh, UK) Guillaume: International Relations and Identity

International Relations and Identity examines the issue of collective political identity formation and expands the concept of the international beyond the notion of states. Providing a dialogical app …

Copertina di Simona A. Grano: Environmental Governance in Taiwan

Simona A. Grano: Environmental Governance in Taiwan

Three decades of rapid industrialization until the lifting of martial law in 1987, with little or no concern for the environment, have made Taiwan’s environmental degradation a serious problem. In th …

Copertina di Anouar (Wilberforce University, USA) Boukhars: Politics in Morocco

Anouar (Wilberforce University, USA) Boukhars: Politics in Morocco

Democratization and the process of political reform is a critical issue in the contemporary Middle East and North Africa. This book looks at the situation in Morocco and examines the role of the mona …

Pagina successiva >>>