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 Brian (Florida International University, USA) Fonseca & Gabriel (United States Army War College, USA) Marcella: Democracy and Security in Latin America

Brian (Florida International University, USA) Fonseca & Gabriel (United States Army War College, USA) Marcella: Democracy and Security in Latin America

The COVID-19 pandemic has highlighted the need for governments to generate the necessary capacity to address important security and institutional challenges; this volume deepens our understanding of …

Copertina di Nolan (University of New South Wales, Australia) Sharkey: Taxation in ASEAN and China

Nolan (University of New South Wales, Australia) Sharkey: Taxation in ASEAN and China

China and the ASEAN region have risen rapidly to a position of immense economic significance in the global economy. Academics, policy makers and businesses are all keen to understand more about taxat …

Copertina di Uriel Dann & Asher Susser: The Hashemites in the Modern Arab World

Uriel Dann & Asher Susser: The Hashemites in the Modern Arab World

Examines the crucial role of the Hashemites in Arab nationalism throughout the 20th century, from the 1916 Arab Revolt through the creation of Arab states after World War I, the attempts at Arab unit …

Copertina di Bram (Institute of Social Studies, the Netherlands) Buscher & Veronica (Leiden University College, the Netherlands) Davidov: The Ecotourism-Extraction Nexus

Bram (Institute of Social Studies, the Netherlands) Buscher & Veronica (Leiden University College, the Netherlands) Davidov: The Ecotourism-Extraction Nexus

Ecotourism and natural resource extraction may be seen as contradictory pursuits, yet in reality they often take place side by side, sometimes even supported by the same institutions. Existing academ …

Copertina di Simon (University of East Anglia, Norwich) Curtis: The Power of Cities in International Relations

Simon (University of East Anglia, Norwich) Curtis: The Power of Cities in International Relations

Cities have become increasingly important to global politics, but have largely occupied a peripheral place in the academic study of International Relations (IR). This is a notable oversight for the d …

Copertina di Jay Mandle: Persistent Underdevelopment

Jay Mandle: Persistent Underdevelopment

First published in 1996, this insightful and informative text examines the post-emancipation and recent economic history of the Commonwealth Caribbean. Jay R. Mandle offers an explanation of the regi …

Copertina di Ross Garnaut & Ross H. McLeod: East Asia in Crisis

Ross Garnaut & Ross H. McLeod: East Asia in Crisis

The current economic crisis in East Asia is unprecedented in world economic history. It seemed the economic strength of the region, until very recently, would just keep growing. Now, the macroeconomi …

Copertina di Ali Resul (Bahcesehir University, Turkey) Usul: Democracy in Turkey

Ali Resul (Bahcesehir University, Turkey) Usul: Democracy in Turkey

This book examines the impact of European political conditionality on the process of democratization in Turkey over a twenty year period. Employing theoretical and conceptual approaches to the issue …

Copertina di Jenny (Australian National University, Australia) Corbett & Anne (University of Canberra, Australia) Daly: Laggards and Leaders in Labour Market Reform

Jenny (Australian National University, Australia) Corbett & Anne (University of Canberra, Australia) Daly: Laggards and Leaders in Labour Market Reform

A flexible labour market is widely regarded as a key factor in encouraging economic growth and prosperity. In recent years some economies have successfully reformed their labour markets, making part- …

Copertina di K Fukuda: Japanese-Style Management Transferred

K Fukuda: Japanese-Style Management Transferred

Japan’s rapid rise to economic super-power status has led to a worldwide interest in and attempts to emulate Japanese management practices. This book, based on extensive original research, considers …

Pagina successiva >>>