Täglich neue Angebote
Verifying Concurrent Processes Using Temporal Logic

Springer Nature

Verifying Concurrent Processes Using Temporal Logic

49,99 €
EAN / GTIN 9783540112051

Details

There is currently no description available

Dazu passt