PakCat catalogue record

Embedded system design

modeling, synthesis and verification

By Daniel D. Gajski ... [et al.]

Bibliographic details

ISBN
9781441905031
Publisher
Springer
Publication place
Dordrecht
Publication year
2009
Language
English
Material type
Book
Physical description
xxiv, 352 p.

Additional authors

Gajski, Daniel D.

Subjects

Embedded computer systems, Programmatuurtechniek, Embedded systems, Modellen (vorm), Eingebettetes System.

Related catalogue records

Programming and customizing the OOPic microcontroller Clark, Dennis The 8051 Microcontroller and Embedded Systems Sampath K. Venkatesh The AVR microcontroller and embedded systems Mazidi, Muhammad Ali The 8051 microcontroller and embedded systems Mazidi, Muhammad Ali Programming and interfacing the 8051 microcontroller Yeralan, Sencer Introduction to embedded microcomputer systems Valvano, Jonathan W. Wireless Java programming with Java 2 Micro Edition Feng, Yu Fundamentals of embedded software Lewis, D. W.