Reihe Progress in Theoretical Computer ScienceJ.C. Bradfield × Verifying Temporal Properties of Systems J.C. BradfieldBirkhäuser BostoneBook201353,49 € Verifying Temporal Properties of Systems J.C. BradfieldBirkhäuser BostonSoftcover201253,49 € Verifying Temporal Properties of Systems J.C. BradfieldBirkhäuser BostonHardcover1992
