Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science) - Tapa dura

Bradfield, Julian Charles

 
9783764336257: Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

Esta edición ISBN ya no está disponible.

Otras ediciones populares con el mismo título