Embedded system design : modeling, synthesis and verification /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gajski, Daniel D.
Format:	eBook
Language:	English
Published:	Dordrecht ; New York : Springer, 2009.
Subjects:	Eingebettetes System. Embedded computer systems > Design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	xxiv, 352 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references (pages [335]-347) and index.
ISBN:	1441905049 9781441905048
DOI:	10.1007/978-1-4419-0504-8