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

Bradfield, Julian Charles

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

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Weitere beliebte Ausgaben desselben Titels