Filter By
Books (5)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Scalable Techniques for Formal Verification by Sandip Ray 9781489984449
Booksplease Price: $169.51This 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: $192.82This 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: $98.15This 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: $100.78Booksplease Price: $91.37Score 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... -
The Final Adventures of Professor Shonku by Ray , Satyajit 9780143447023
RRP: $23.08Booksplease Price: $13.63Just at the stroke of the half hour, the floor under our feet shook, and in that very instant, the sphere exploded into a thousand bits and scattered on the floor. Then, from the ruins was heard an...