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 159.34 EUR 1% Off

Teilen:

Ähnliche Produkte

Tool Support for System Specification, Development and Verification

Tool Support for System Specification, Development and Verification

53.49 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
Electron-Beam Moiré Technique, Advances, Verification, Application: Nist Technical Note 1500-5; August 1998

Electron-Beam Moiré Technique, Advances, Verification, Application: Nist Technical Note 1500-5; August 1998

13.15 EUR
Electron-Beam Moiré Technique, Advances, Verification, Application: Nist Technical Note 1500-5; August 1998

Electron-Beam Moiré Technique, Advances, Verification, Application: Nist Technical Note 1500-5; August 1998

40.08 EUR
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

160.49 EUR
Hardware Description Languages and their Applications

Hardware Description Languages and their Applications

160.49 EUR