Automatic Verification of Sequential Infinite-State Processes | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Automatic Verification of Sequential Infinite-State Processes
  • #
  • #

Automatic Verification of Sequential Infinite-State Processes

53.49 EUR

Teilen:

Ähnliche Produkte

Development of Automatic Program Verification for Continuous Function Chart based on Model Checking

Development of Automatic Program Verification for Continuous Function Chart based on Model Checking

0.00
Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

68.00 EUR
Interval Analysis: and Automatic Result Verification

Interval Analysis: and Automatic Result Verification

118.09 EUR
Automatic Verification Methods for Finite State Systems

Automatic Verification Methods for Finite State Systems

53.49 EUR
Automatic Speaker Verification using Artificial Neural Networks: A Potential Application of Artificial Neural Networks

Automatic Speaker Verification using Artificial Neural Networks: A Potential Application of Artificial Neural Networks

38.94 EUR
Dill, David L.: Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Dill, David L.: Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

27.40 EUR