Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20) | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)
  • #
  • #

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)

160.49 EUR

Teilen:

Ähnliche Produkte

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

152.06 EUR
Tool Support for System Specification, Development and Verification

Tool Support for System Specification, Development and Verification

53.49 EUR
Hardware Description Languages and their Applications

Hardware Description Languages and their Applications

177.00 EUR
Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, ... Notes in Computer Science, Band 13187)

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, ... Notes in Computer Science, Band 13187)

58.84 EUR