Design and Verification of Microprocessor Systems for High-Assurance Applications
by David S. Hardin
ISBN 13: 9781441915382
Format: Hardcover (452 pages) Publisher: Springer Published: 15 Mar 2010
Save for later
Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems
by Miro Samek
ISBN 13: 9780750687065
Format: Paperback (728 pages) Publisher: Newnes Published: 10 Nov 2008
Back to Basics Audio
by Julian Nathan
ISBN 13: 9780750699679
Format: Paperback (364 pages) Publisher: Newnes Published: 29 Sep 1998
Numerical Methods for Linear Control Systems: Design and Analysis
by Biswa Datta
ISBN 13: 9780122035906
Format: Hardcover (640 pages) Publisher: Academic Press Published: 24 Feb 2004