1. Home
  2. Medien
  3. Bücher
  4. Automatic Verification Methods for Finite State Systems
  • #
  • #

Automatic Verification Methods for Finite State Systems

53.49 EUR

Teilen:

Ähnliche Produkte

Interval Analysis: and Automatic Result Verification

Interval Analysis: and Automatic Result Verification

118.09 EUR
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
Scientific Computation with Automatic Result Verification (Computing Supplementa)

Scientific Computation with Automatic Result Verification (Computing Supplementa)

53.24 EUR
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
Automatic Verification of Sequential Infinite-State Processes

Automatic Verification of Sequential Infinite-State Processes

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

39.90 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
E.-R. Olderog

E.-R. Olderog - Real-Time Systems: Formal Specification and Automatic Verification - Preis vom 29.11.2024 06:00:35 h

109.20 EUR