Taxonomies for the Development and Verification of Digital Systems

Taxonomies for the Development and Verification of Digital Systems

Taxonomies for the Development and Verification of Digital Systems

Barcode: 09780387240213
Brand: Springer US
There are no offers for this product at this time.

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

Verification of Digital and Hybrid Systems
Verification of Digital and Hybrid Systems
from £76.08
Specification and Verification of Concurrent Systems
Specification and Verification of Concurrent Systems
from £38.24
Verification, Validation, and Testing of Engineered Systems
Verification, Validation, and Testing of Engineered Systems
from £129.16
Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
from £110.08
Verification, Validation, and Testing of Engineered Systems
Verification, Validation, and Testing of Engineered Systems
from £129.16
Simulation and Verification of Electronic and Biological Systems
Simulation and Verification of Electronic and Biological Systems
from £76.08
Compositional Verification of Concurrent and Real-Time Systems
Compositional Verification of Concurrent and Real-Time Systems
from £76.08
Verification and Validation of Rule-Based Expert Systems
Verification and Validation of Rule-Based Expert Systems
from £148.50
Verification and Validation of Rule-Based Expert Systems
Verification and Validation of Rule-Based Expert Systems
from £148.50
Verification of Reactive Systems : Formal Methods and Algorithms
Verification of Reactive Systems : Formal Methods and Algorithms
from £38.24
The Development of Attachment and Affiliative Systems
The Development of Attachment and Affiliative Systems
from £38.24
Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications
from £84.58
Formal Modeling and Verification of Cyber-Physical Systems : 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Formal Modeling and Verification of Cyber-Physical Systems : 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
from £38.24
Verification and Validation of Complex Systems: Human Factors Issues
Verification and Validation of Complex Systems: Human Factors Issues
from £212.08
Configuration Management and Performance Verification of Explosives-Detection Systems
Configuration Management and Performance Verification of Explosives-Detection Systems
from £24.30
Verification and Control of Hybrid Systems : A Symbolic Approach
Verification and Control of Hybrid Systems : A Symbolic Approach
from £93.08
Temporal Verification of Reactive Systems : Safety
Temporal Verification of Reactive Systems : Safety
from £76.08
Embedded Systems Handbook : Embedded Systems Design and Verification
Embedded Systems Handbook : Embedded Systems Design and Verification
from £44.99
Embedded Systems Handbook : Embedded Systems Design and Verification
Embedded Systems Handbook : Embedded Systems Design and Verification
from £44.99
Tools and Technologies for the Development of Cyber-Physical Systems
Tools and Technologies for the Development of Cyber-Physical Systems
from £199.75