Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Gesponsert
Medimops DE
41.52 EUR
Preis aktualisiert am: 01-05-2026 07:29:13
Gesponsert
preigu.de
50.25 EUR
Preis aktualisiert am: 30-04-2026 08:53:49
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 01-05-2026 08:31:20
Allgemein
Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540112057
MPN
Springer Berlin Heidelberg 6909291
