Originally posted by Wozasam had no idea they were around long enough to have auto lenses.
As noted above, Miranda Camera Company ceased making cameras in 1978 and as far as I know, were never a lens manufacturer. Prior to 1978, the Miranda name was only used for lenses in the Miranda mount or M42 lenses intended to be bundled with Miranda M42 cameras. The name, however, has been attached to various cameras, lenses and accessories in the years since. The lens in the original post on this thread is most assuredly a third-party consumer zoom probably intended to be matched to one of the 1980s-vintage Cosina-made "Miranda" K-mount bodies. What sets it apart is the possibility of autonomous autofocus, probably similar to early autonomous AF lenses from Ricoh and Chinon.
I have never seen such in a zoom lens.
Edit: Well, now I have. I just did a search for "vivitar 75-200mm auto-focus" (the lens mentioned in the OP) and came up with plenty of stuff including a back section ad from 1993 Pop Photo listing it in various mounts for $119 USD.
Value would be difficult to assess unless there is collector interest.
Steve