Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Lecture Notes in Computer Science, nr. 6418 Editat de Howard Barringer et al. 19 oct 2010 Paperback Preț: 344.76 lei 430.94 lei 3-5 săpt. -20%
Advances in Temporal Logic Applied Logic Series, nr. 16 Editat de Howard Barringer et al. 31 dec 1999 Hardback Preț: 959.98 lei 1170.71 lei 6-8 săpt. -18%
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings Lecture Notes in Computer Science, nr. 398 Editat de Behnam Banieqbal et al. 11 oct 1989 Paperback Preț: 340.49 lei 425.62 lei 6-8 săpt. -20%
A Survey of Verification Techniques for Parallel Programs Lecture Notes in Computer Science, nr. 191 Autor Howard Barringer mai 1985 Paperback Preț: 234.57 lei 293.21 lei 6-8 săpt. -20%