Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)
by
ISBN 13: 9783540343042
Format: Paperback (250 pages) Publisher: Springer Published: 15 May 2006
Save for later
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
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
New Frontiers in Information and Software as Services: Service and Application Design Challenges in the Cloud (Lecture Notes in Business Information Processing)
ISBN 13: 9783642192937
Format: Paperback (311 pages) Publisher: Springer Published: 10 Feb 2011
Software Architecture Design Patterns in Java
by Partha Kuchana
ISBN 13: 9780849321429
Format: Hardcover (416 pages) Publisher: Auerbach Publications Published: 27 Apr 2004
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... / Programming and Software Engineering)
ISBN 13: 9783642019173
Format: Paperback (341 pages) Publisher: Springer Published: 12 May 2009
Design Patterns for Embedded Systems in C: An Embedded Software Engineering Toolkit
by Bruce Powel Douglass
ISBN 13: 9781856177078
Format: Paperback (472 pages) Publisher: Newnes Published: 10 Nov 2010
Embedded System Design: A Unified Hardware/Software Introduction
by Frank Vahid,Tony D. Givargis
ISBN 13: 9780471386780
Format: Hardcover (352 pages) Publisher: John Wiley & Sons Published: 24 Oct 2001