The Temporal Logic of Reactive and Concurrent Systems: Specification

Preise von
106,00

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Amazon The Temporal Logic of Reactive and Concurrent Systems: Specification
Description Beschreibung
Product Specifications Produktspezifikationen
Related Products Vergleichbare Produkte
?>
Next
Previous

Webshops vergleichen (1)

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

The Temporal Logic of Reactive and Concurrent Systems: Specification

Produktspezifikationen

Marken Springer
EAN
  • 9780387976648

Preise zuletzt aktualisiert am:

Springer

Temporal Verification of Reactive Systems: Safety

77,71 €
Weitere Informationen Mehr Infos

Cambridge University Press

Reactive Systems: Modelling, Specification and Verification

100,23 €
Weitere Informationen Mehr Infos

Springer

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

85,59 €
Weitere Informationen Mehr Infos

Springer

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

28,00 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
106,00 €
Zum Shop