Bakker, J.W. de et al (editors) - Linear time, branching time and partial order in logics and models for concurrencySpringer 1989 sewed, 713 pp. Lecture Notes in Computer Science nr 354 (code Sc-51) EUR 20.00 [Appr.: US$ 21.49 | £UK 17.25 | JP¥ 3334] Book number 233582We regret that this particular copy is temporarily not available. You may try to find another copy by using the search function. Apologies for the inconvenience! |
Do you want to see
- more titles like this one?