9780128016305 | Morgan Kaufmann Pub, December 8, 2015, cover price $99.95 | About this edition: System on Chip Interfaces for Low Power Design provides a top-down understanding of interfaces available to SoC developers, not only the underlying protocols and architecture of each, but also how they interact and the tradeoffs involved.

9781447152590 | Springer Verlag, July 2, 2013, cover price $129.00 | About this edition: Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).

9781447157908 | Springer Verlag, August 17, 2013, cover price $129.00 | About this edition: Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).