Specifying Message Passing and Time-Critical Systems with Temporal Logic Lecture Notes in Computer Science, nr. 651 Autor Ron Koymans 14 dec 1992 Paperback Preț: 326.97 lei 408.71 lei 43-57 zile -20%
