Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler
  • #
  • #

Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

89.90 EUR

Teilen:

Ähnliche Produkte

Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification

Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification

159.84 EUR
Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification (CISM International Centre for Mechanical Sciences)

Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification (CISM International Centre for Mechanical Sciences)

155.34 EUR
A New Family of Mixed Finite Elements for Elasticity: A Robust Computational Method for Mechanical Problems

A New Family of Mixed Finite Elements for Elasticity: A Robust Computational Method for Mechanical Problems

79.90 EUR
Mechanical Characterization of Composite Multilayer Thick Tubes

Mechanical Characterization of Composite Multilayer Thick Tubes

59.00 EUR
Lean Supply Chain and Logistics Management Consulting Service

Lean Supply Chain and Logistics Management Consulting Service

11.49 EUR
Lean Supply Chain and Logistics Management Consulting Service

Lean Supply Chain and Logistics Management Consulting Service

11.38 EUR