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

59.00 EUR 53.49 EUR 9% Off

Teilen:

Ä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
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

30.49 EUR