Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings Lecture Notes in Computer Science, nr. 897 Editat de Michael Fisher et al. 17 feb 1995 Paperback Preț: 315.00 lei 393.74 lei 6-8 săpt. -20%