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ț: 321.49 lei 401.86 lei 6-8 săpt. -20%
