Temporal Verification of Reactive Systems | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Temporal Verification of Reactive Systems
  • #
  • #

Temporal Verification of Reactive Systems

117.69 EUR

Teilen:
Gesponsert

Temporal Verification of Reactive Systems: Safety

Medimops DE
117.69 EUR
12-06-2026 20:04:17
Gesponsert

Temporal Verification of Reactive Systems

SpringerLink DE
117.69 EUR
12-06-2026 13:11:18
Gesponsert

Temporal Verification of Reactive Systems, Fachbücher von Amir Pnueli, Zohar Manna

Galaxus.de
117.69 EUR
12-06-2026 22:00:46

Ä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
Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

101.52 EUR
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)

159.34 EUR
Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications

Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications

79.00 EUR
A Formal Framework for Run-Time Verification of Web Applications

A Formal Framework for Run-Time Verification of Web Applications

49.00 EUR
Effective and Efficient Temporal Verification in Grid Workflow: Enabling timely completion of grid workflow

Effective and Efficient Temporal Verification in Grid Workflow: Enabling timely completion of grid workflow

68.00 EUR