VU Boekhandel

Formal Methods and Models for System Design A System Level Perspective

Hoofdkenmerken

Auteur:	Talpin, Jean-Pierre
Co Auteur:	Jean-Pierre Talpin
Redactie:	Talpin, Jean-Pierre
Titel:	Formal Methods and Models for System Design A System Level Perspective
Uitgever:	Springer-Verlag New York Inc.
ISBN:	9781402080517
Editie:	2004 ed.
Land van oorsprong:	United States
Prijs:	€ 186,33
Verschijningsdatum:	01-06-2004
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Systems analysis & design
Geillustreerd:	65 Illustrations, black and white; IX, 372 p. 65 illus.
Dewey code:	004.21

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	372
Hoogte mm.:	240
Breedte mm.:	160
Gewicht gr.:	797

Inhoud:

Current practice in system modeling relies upon exploiting high-level programming frameworks, such as SystemC, EstereI, to capture design at increasingly higher levels of ab- straction and attempts to reduce the system implementation task.