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