Co-verification of Hardware and Software for ARM SoC Design (Embedded Technology)
by Jason Andrews
ISBN 13: 9780750677301
Format: Paperback (288 pages) Publisher: Newnes Published: 04 Sep 2004
Save for later
Design Patterns in Communications Software (SIGS Reference Library)
by
ISBN 13: 9780521790406
Format: Hardcover (574 pages) Publisher: Cambridge University Press Published: 23 Jul 2001
Software Design for Real-time Systems
by J. E. Cooling
ISBN 13: 9780412632402
Format: Paperback (528 pages) Publisher: Cengage Learning EMEA Published: 01 Nov 1994
Scientific Software Design: The Object-Oriented Way
by Damian Rouson,Jim Xia,Xiaofeng Xu
ISBN 13: 9780521888134
Format: Hardcover (404 pages) Publisher: Cambridge University Press Published: 29 Apr 2011
Advanced Design Approaches to Emerging Software Systems: Principles, Methodology and Tools (Premier Reference Source)
ISBN 13: 9781609607357
Format: Hardcover (323 pages) Publisher: Information Science Reference Published: 30 Apr 2011
A Process Algebraic Approach to Software Architecture Design
by Alessandro Aldini,Marco Bernardo,Flavio Corradini
ISBN 13: 9781848002227
Format: Hardcover (322 pages) Publisher: Springer Published: 27 Nov 2009
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised ... / Programming and Software Engineering)
ISBN 13: 9783540695530
Format: Paperback (269 pages) Publisher: Springer Published: 18 Jan 2007
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)
ISBN 13: 9783540343042
Format: Paperback (250 pages) Publisher: Springer Published: 15 May 2006
Software Engineering 3: Domains, Requirements, and Software Design: v. 3 (Texts in Theoretical Computer Science. An EATCS Series)
by Dines Bjørner
ISBN 13: 9783540211518
Format: Hardcover (796 pages) Publisher: Springer Published: 09 Mar 2006 Other Format: Hardcover
Reliable Object-Oriented Software: Applying Analysis and Design: 11 (SIGS: Advances in Object Technology, Series Number 11)
by Ed Seidewitz
ISBN 13: 9780135292723
Format: Paperback (436 pages) Publisher: Cambridge University Press Published: 13 Dec 1997
Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures
by Hassan Gomaa
ISBN 13: 9780521764148
Format: Hardcover (576 pages) Publisher: Cambridge University Press Published: 21 Feb 2011
Design of Multithreaded Software: The Entity-Life Modeling Approach
by Bo I. Sandén
ISBN 13: 9780470876596
Format: Hardcover (320 pages) Publisher: Wiley-Blackwell Published: 15 Feb 2011