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

Verifying Temporal
Wo zu kaufen (2) Eigenschaften
Gesponsert
Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 18-06-2026 09:00:54
Siehe Produktangebot
Gesponsert
Verifying Temporal Properties of Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 18-06-2026 00:48:10
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)
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)
Produkt anzeigen
Software Verification Based on Game Semantics and Process Algebra
Software Verification Based on Game Semantics and Process Algebra
Produkt anzeigen
Testing and Verifying Web Services
Testing and Verifying Web Services
Produkt anzeigen
Verifying OCL Specifications of UML Models
Verifying OCL Specifications of UML Models
Produkt anzeigen
Verifying OCL Specifications of UML Models
Verifying OCL Specifications of UML Models
Produkt anzeigen
Menü