42388151
9783662169018
Out of Stock
The item you're looking for is currently unavailable.
Bjorner, Dines is the author of 'Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings', published 2014 under ISBN 9783662169018 and ISBN 3662169010.
[read more]