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

54.99 EUR

Teilen:
Gesponsert

Automatic Verification of Sequential Infinite-State Processes

SpringerLink DE
54.99 EUR
25-07-2026 20:41:03

Ähnliche Produkte

Automatic Verification Methods for Finite State Systems

Automatic Verification Methods for Finite State Systems

53.49 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

66.74 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
Interval Analysis: and Automatic Result Verification

Interval Analysis: and Automatic Result Verification

118.09 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