Post-Silicon and Runtime Verification for Modern Processors

Post-Silicon and Runtime Verification for Modern Processors

Post-Silicon and Runtime Verification for Modern Processors

Barcode: 09781441980342
Brand: Springer US
Best Priced
sold by Hive Books
Hive Books
£110.08
Visit Store
Hive Books
Hive Books
£110.08
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Springer US

Inflammatory Dermatopathology : A Pathologist's Survival Guide
Inflammatory Dermatopathology : A Pathologist's Survival Guide
from £93.08
The Physician Scientist's Career Guide
The Physician Scientist's Career Guide
from £76.08
Recommender Systems Handbook
Recommender Systems Handbook
from £237.58
Extremity Replantation : A Comprehensive Clinical Guide
Extremity Replantation : A Comprehensive Clinical Guide
from £76.08
Tennis Elbow : Clinical Management
Tennis Elbow : Clinical Management
from £38.24
Rigid Body Dynamics Algorithms
Rigid Body Dynamics Algorithms
from £152.58
Emerging Non-Volatile Memories
Emerging Non-Volatile Memories
from £76.08
Ion/Molecule Attachment Reactions: Mass Spectrometry
Ion/Molecule Attachment Reactions: Mass Spectrometry
from £110.08
mHealth : Transforming Healthcare
mHealth : Transforming Healthcare
from £76.08
The Van Allen Probes Mission
The Van Allen Probes Mission
from £152.58
Atom-Probe Tomography : The Local Electrode Atom Probe
Atom-Probe Tomography : The Local Electrode Atom Probe
from £110.08
Defining Prevention Science
Defining Prevention Science
from £76.08
Optimal Stochastic Scheduling
Optimal Stochastic Scheduling
from £110.08
Pulmonary Cytopathology
Pulmonary Cytopathology
from £76.08
Exploding Wires : Volume 4
Exploding Wires : Volume 4
from £76.08
Population Systems : A General Introduction
Population Systems : A General Introduction
from £28.04
Essential Statistics
Essential Statistics
from £38.24
Aphasia Treatment : World Perspectives
Aphasia Treatment : World Perspectives
from £38.24
Cellular Degradative Processes
Cellular Degradative Processes
from £38.24
Instruction Level Parallelism
Instruction Level Parallelism
from £46.74

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Runtime Verification : A Hands-On Approach in Java
Runtime Verification : A Hands-On Approach in Java
from £38.24
Verification Plans : The Five-Day Verification Strategy for Modern Hardware Verification Languages
Verification Plans : The Five-Day Verification Strategy for Modern Hardware Verification Languages
from £118.58
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
from £38.24
Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
from £38.24
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
from £38.24
Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
from £38.24
Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
from £42.49
Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
from £38.24
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
from £38.24
Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
from £38.24
Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
from £38.24
Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
from £38.24
Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
from £76.08
Formal Verification : An Essential Toolkit for Modern VLSI Design
Formal Verification : An Essential Toolkit for Modern VLSI Design
from £83.25
Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
from £38.24
Approach and Verification
Approach and Verification
from £100.30
High-Level Verification : Methods and Tools for Verification of System-Level Designs
High-Level Verification : Methods and Tools for Verification of System-Level Designs
from £76.08
Advanced Nanoelectronics : Post-Silicon Materials and Devices
Advanced Nanoelectronics : Post-Silicon Materials and Devices
from £93.46
Advanced Nanoelectronics : Post-Silicon Materials and Devices
Advanced Nanoelectronics : Post-Silicon Materials and Devices
from £93.46
Logic Synthesis and Verification
Logic Synthesis and Verification
from £110.08