The Temporal Logic of Reactive and Concurrent Systems: Specification

Preise von
106,00

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

The Temporal Logic of Reactive and Concurrent Systems: Specification

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
106,00 €
3,00 €
109,00 €
Zum Shop
3,00 € Shipping Costs
Amazon Marketplace Logo
106,00 €
3,00 €
109,00 €
Zum Shop
3,00 € Shipping Costs
Beschreibung (0)

The Temporal Logic of Reactive and Concurrent Systems: Specification

Produktspezifikationen

Marken Springer
EAN
  • 9780387976648

Springer

Temporal Verification of Reactive Systems: Safety

87,16 €
2 Shops vergleichen 2 Shops

Springer

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

79,50 €
2 Shops vergleichen 2 Shops

Springer

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

63,97 €
2 Shops vergleichen 2 Shops

Springer

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

28,00 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
106,00 €
Zum Shop