search for books and compare prices
David Lacey has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
cover image for 9781780998749
Product Description: Karma is an Eastern word that has now entered the Western lexicon. Most people are familiar with the idea yet, paradoxically, few understand it. It is a vast, subtle and all-encompassing concept. It affects us all; it is one of the prime influences on our life’s journey...read more

Paperback:

9781780998749 | Iff Books, July 16, 2013, cover price $16.95 | About this edition: Karma is an Eastern word that has now entered the Western lexicon.

cover image for 9780470721995
Product Description: With the growth in social networking and the potential for larger and larger breaches of sensitive data,it is vital for all enterprises to ensure that computer users adhere to corporate policy and project staff design secure systems...read more

Paperback:

9780470721995 | John Wiley & Sons Inc, March 30, 2009, cover price $50.00 | About this edition: With the growth in social networking and the potential for larger and larger breaches of sensitive data,it is vital for all enterprises to ensure that computer users adhere to corporate policy and project staff design secure systems.

Miscellaneous:

9780470742082 | John Wiley & Sons Inc, March 3, 2009, cover price $50.00

cover image for 9781402080272
Product Description: Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 Declarative versus procedural 67 3...read more

Hardcover:

9781402080272 | 2 edition (Kluwer Academic Pub, June 30, 2004), cover price $229.00 | About this edition: Chapter 3 Specifying RTL Properties 61 3.
9781402074981 | 2 edition (Kluwer Academic Pub, May 1, 2003), cover price $99.00 | About this edition: The focus of Assertion-Based Design is three-fold: *How to specify assertions; *How to create and adopt a methodology that supports assertion-based design (predominately for RTL design); *What to do with the assertions and methodology once you have them.

displaying 1 to 3 | at end