Verifying Temporal Properties of Systems Progress in Theoretical Computer Science Autor J.C. Bradfield 25 feb 2012 Paperback Preț: 370.73 lei 43-57 zile