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
23-04-2026 06:02:33
Gesponsert

Temporal Verification of Reactive Systems

SpringerLink DE
117.69 EUR
23-04-2026 08:58:05
Gesponsert

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

Galaxus.de
117.69 EUR
22-04-2026 21:23:43

Ähnliche Produkte

Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

102.14 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)

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

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

68.00 EUR
Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

69.90 EUR

Temporale Fuzzy Logik: Eine Vereinigung der Temporal-Logik und Fuzzy-Logik anhand von vorausschauenden Wartungs- und Überwachungssystemen

89.90 EUR