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