Verifying Temporal Properties of Systems Progress in Theoretical Computer Science Autor J. C. Bradfield 25 feb 2012 Paperback Preț: 365.99 lei 6-8 săpt.