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

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

Scientific Computation with Automatic Result Verification (Computing Supplementa)

53.24 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