Temporal Verification of Reactive Systems: Safety

Preise von
87,16

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Temporal Verification of Reactive Systems: Safety

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
87,16 €
2,99 €
90,15 €
Zum Shop
2,99 € Shipping Costs
Amazon Marketplace Logo
87,16 €
2,99 €
90,15 €
Zum Shop
2,99 € Shipping Costs
Beschreibung (0)

Temporal Verification of Reactive Systems: Safety

Produktspezifikationen

Marken Springer
EAN
  • 9780387944593

Springer

The Temporal Logic of Reactive and Concurrent Systems: Specification

106,00 €
2 Shops vergleichen 2 Shops

BestAI Press

Scalable Oversight of AI Systems: Verification, Discriminating Power, and Safety Assurance

45,84 €
Weitere Informationen Mehr Infos

Independently Published

MODEL CHECKING and SYSTEM VERIFICATION: Temporal Logic State Space Exploration Automated Reasoning...

12,82 €
2 Shops vergleichen 2 Shops

Springer

Temporal Networks (Understanding Complex Systems)

125,82 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
87,16 €
Zum Shop