Specifying Message Passing and Time-Critical Systems with Temporal Logic Autor Ron Koymans 14 dec 1992 Paperback Preț: 316.03 lei 395.04 lei 43-57 zile -20%
