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

Wo zu kaufen (3) Eigenschaften
Gesponsert
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Medimops DE
41.52 EUR
Preis aktualisiert am: 22-09-2026 14:55:11
Siehe Produktangebot
Gesponsert
Verifying Concurrent Processes Using Temporal Logic
Hugendubel
53.49 EUR
Preis aktualisiert am: 22-09-2026 23:23:33
Siehe Produktangebot
Gesponsert
Verifying Concurrent Processes Using Temporal Logic
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 23-09-2026 00:09:29
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540112057
MPN
Springer Berlin Heidelberg 6909291

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
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 Treaty Compliance
Verifying Treaty Compliance
Aus213.99 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ü