Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings Lecture Notes in Computer Science, nr. 531 Editat de Edmund M. Clarke et al. 2 oct 1991 Paperback Preț: 378.78 lei 6-8 săpt.
