Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

Verifying Temporal
Wo zu kaufen (3) Eigenschaften
Gesponsert
Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 22-09-2026 19:53:19
Siehe Produktangebot
Gesponsert
Verifying Temporal Properties of Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 23-09-2026 02:32:32
Siehe Produktangebot
Gesponsert
Verifying Temporal Properties of Systems
Hugendubel
53.49 EUR
Preis aktualisiert am: 21-09-2026 03:54:43
Siehe Produktangebot

Allgemein

Marke
J.C. Bradfield
ISBN
J.C. Bradfield 1468468219
MPN
J.C. Bradfield black & white illustrations, bibliograph

Eigenschaften

Ähnliche Produkte

Verifying Calculations
Verifying Calculations - Forty Years On: An Overview of Classical Verification Techniques for FEM Simulations (SpringerBriefs in Applied Sciences and Technology)
Aus53.46 EUR 4
Produkt anzeigen
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)
Aus41.52 EUR 3
Produkt anzeigen
Software Verification Based on Game Semantics and Process Algebra
Software Verification Based on Game Semantics and Process Algebra
Aus79.00 EUR 1
Produkt anzeigen
Testing and Verifying Web Services
Testing and Verifying Web Services
Aus79.00 EUR 1
Produkt anzeigen
Verifying OCL Specifications of UML Models
Verifying OCL Specifications of UML Models
Aus29.90 EUR 1
Produkt anzeigen
Verifying OCL Specifications of UML Models
Verifying OCL Specifications of UML Models
Aus41.85 CHF 1
Produkt anzeigen
Menü