Täglich neue Angebote
Verifying Concurrent Processes Using Temporal Logic

Springer Nature

Verifying Concurrent Processes Using Temporal Logic

42,79 €
EAN / GTIN 9783540390343

Details

There is currently no description available

Dazu passt