Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings Lecture Notes in Computer Science, nr. 939 Editat de Pierre Wolper 21 iun 1995 Paperback Preț: 338.32 lei 422.90 lei 6-8 săpt. -20%
