Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, 8, Band 8)
  • #

Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, 8, Band 8)

53.49 EUR 52.84 EUR 1% Off

Teilen:
Gesponsert

Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, 8, Band 8)

Medimops DE
52.84 EUR
05-06-2026 20:29:36
Gesponsert

Temporal Logic of Programs

SpringerLink DE
53.49 EUR
05-06-2026 17:05:28

Ähnliche Produkte

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

71.98 EUR
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

41.52 EUR
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)

Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)

53.49 EUR
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

80.24 EUR
Advances in Temporal Logic

Advances in Temporal Logic

160.49 EUR
Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science, 139, Band 139)

Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science, 139, Band 139)

106.99 EUR