Verifying Temporal Properties of Systems•短评

书名： Verifying Temporal Properties of Systems
作者： J·C·Bradfield
出版年： 1992-2
页数： 128
定价： $ 111.87
ISBN： 9780817636258