Filter By
Books (5)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Scalable Techniques for Formal Verification by Sandip Ray 9781489984449
Booksplease Price: £80.72This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and... -
Scalable Techniques for Formal Verification by Sandip Ray 9781441959973
Booksplease Price: £90.56This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and... -
Security Policy in System-on-Chip Designs: Specification, Implementation and Verification by Sandip Ray 9783319934631
Booksplease Price: £46.28This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs - current industrial... -
Score Reporting Research and Applications Diego Zapata-Rivera 9780815353409
RRP: £47.99Booksplease Price: £44.79Score reporting research is no longer limited to the psychometric properties of scores and subscores. Today, it encompasses design and evaluation for particular audiences, appropriate use of... -
Fundamentals of IP and SoC Security: Design, Verification, and Debug by Swarup Bhunia 9783319843087
Booksplease Price: £80.72This book is about security in embedded systems and it provides an authoritative reference to all aspects of security in system-on-chip (SoC) designs. The authors discuss issues ranging from security...