Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)
53.49 EUR
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)
Medimops DE
05-06-2026 20:21:22
Gesponsert
SpringerLink DE
Specifying Message Passing and Time-Critical Systems with Temporal Logic
SpringerLink DE
06-06-2026 13:07:57
Ähnliche Produkte
Specifying Big Data Benchmarks
49.22 EUR
Specifying Software
93.65 EUR
Specifying Statistical Models
53.49 EUR