Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings Lecture Notes in Computer Science, nr. 575 Editat de Kim G. Larsen et al. 22 apr 1992 Paperback Preț: 342.78 lei 428.48 lei 6-8 săpt. -20%
