Download Digitale Hardware/Software-Systeme: Spezifikation und by Christian Haubelt,Jürgen Teich,Jurgen Teich PDF

By Christian Haubelt,Jürgen Teich,Jurgen Teich

Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden undefined- und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verständnis der Verifikationsproblematik erforderlich. Das Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur undefined- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Der Band dient als Nachschlagewerk für Entwickler und als Begleiter im Informatik- und Elektrotechnik-Studium.

Show description

Read or Download Digitale Hardware/Software-Systeme: Spezifikation und Verifikation ( (German Edition) PDF

Best systems architecture books

System Level Design with Rosetta (Systems on Silicon)

The regular and unabated raise within the skill of silicon has introduced the semiconductor to a watershed problem. Now a unmarried chip can combine a radio transceiver, a community interface, multimedia capabilities, all of the "glue" had to carry it jointly in addition to a layout that enables the and software program to be reconfigured for destiny purposes.

Web Services: Theory and Practice

This can be a soup-to-nuts reference advisor on all elements of internet providers - the place net providers is a quick rising set of Internet-specific middleware expertise to extra advertise the expansion of all points of e-business through standardization, collaboration and "franchising. " This booklet is better characterised as an government short for IT and senior administration instead of a nuts-and-bolts technical advisor for portal implementers.

Computers as Components: Principles of Embedded Computing System Design (The Morgan Kaufmann Series in Computer Architecture and Design)

Pcs as elements, moment version, updates the 1st booklet to convey crucial wisdom on embedded platforms know-how and methods below a unmarried disguise. This variation has been up to date to the cutting-edge by means of transforming and increasing functionality research with extra examples and workouts, and assurance of digital structures now specializes in the newest purposes.

Advances in Computers: 102

Advances in desktops, an ongoing sequence considering that 1960, provides particular insurance of concepts in machine undefined, software program, thought, layout, and purposes. It has additionally supplied members with a medium within which they could discover their topics in larger intensity and breadth than magazine articles frequently let.

Additional info for Digitale Hardware/Software-Systeme: Spezifikation und Verifikation ( (German Edition)

Example text

Download PDF sample

Rated 4.87 of 5 – based on 44 votes